( en | de | ru )

 

Disambiguation of "Calinescu, Radu"

Author of the publication

copydeleteadd this publication to your clipboard
Evolutionary-Guided Synthesis of Verified Pareto-Optimal MDP Policies.

, , , , , and . ASE, page 842-853. IEEE, (2021)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Adolf Radusch

Hans-Joachim Raduach

Florin Radu

Georgeta Radu

Konrad Radunski

 

Other publications of authors with the same name

CADS*: Computer-Aided Development of Self-* Systems., and . FASE, volume 5503 of Lecture Notes in Computer Science, page 421-424. Springer, (2009)Taming Service Uncertainty through Probabilistic Model Learning, Analysis and Synthesis.. UCC Companion, page 163. ACM, (2019)Verified Synthesis of Optimal Safety Controllers for Human-Robot Collaboration., , , , , , , and . CoRR, (2021)Probabilistic program performance analysis with confidence intervals., , and . Inf. Softw. Technol., (April 2023)Scheduling of Missions with Constrained Tasks for Heterogeneous Robot Systems., , and . FMAS/ASYDE@SEFM, volume 371 of EPTCS, page 156-174. (2022)Assured Multi-agent Reinforcement Learning with Robust Agent-Interaction Adaptability., , , , and . KES-IDT, volume 309 of Smart Innovation, Systems and Technologies, page 87-97. Springer, (2022)Detection and Mitigation of Rare Subclasses in Deep Neural Network Classifiers., , and . AITest, page 9-16. IEEE, (2021)Synthesis of Pareto-optimal Policies for Continuous-Time Markov Decision Processes., and . SEAA, page 414-417. IEEE, (2022)Software Performance Engineering with Performance Antipatterns and Code-level Probabilistic Analysis., , and . MoDELS (Companion), page 249-253. IEEE, (2021)Protecting Shared Virtualized Environments against Cache Side-channel Attacks., , and . ICISSP, page 507-514. SCITEPRESS, (2022)