( en | de | ru )

 

Disambiguierung von "Calinescu, Radu"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Robotics: A New Mission for FRET Requirements.

, , , , und . NFM, Volume 14627 von Lecture Notes in Computer Science, Seite 359-376. Springer, (2024)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Adolf Radusch

Hans-Joachim Raduach

Florin Radu

Georgeta Radu

Konrad Radunski

 

Weitere Publikationen von Autoren mit dem selben Namen

CADS*: Computer-Aided Development of Self-* Systems., und . FASE, Volume 5503 von Lecture Notes in Computer Science, Seite 421-424. Springer, (2009)Verified Synthesis of Optimal Safety Controllers for Human-Robot Collaboration., , , , , , , und . CoRR, (2021)Scheduling of Missions with Constrained Tasks for Heterogeneous Robot Systems., , und . FMAS/ASYDE@SEFM, Volume 371 von EPTCS, Seite 156-174. (2022)Probabilistic program performance analysis with confidence intervals., , und . Inf. Softw. Technol., (April 2023)Protecting Shared Virtualized Environments against Cache Side-channel Attacks., , und . ICISSP, Seite 507-514. SCITEPRESS, (2022)Detection and Mitigation of Rare Subclasses in Deep Neural Network Classifiers., , und . AITest, Seite 9-16. IEEE, (2021)Assured Multi-agent Reinforcement Learning with Robust Agent-Interaction Adaptability., , , , und . KES-IDT, Volume 309 von Smart Innovation, Systems and Technologies, Seite 87-97. Springer, (2022)Synthesis of Pareto-optimal Policies for Continuous-Time Markov Decision Processes., und . SEAA, Seite 414-417. IEEE, (2022)Software Quality Analysis with Observation-Enhanced Quantitative Verification (Tutorial).. ICSA Workshops, Seite 192-195. IEEE Computer Society, (2017)RODES: A Robust-Design Synthesis Tool for Probabilistic Systems., , , , und . QEST, Volume 10503 von Lecture Notes in Computer Science, Seite 304-308. Springer, (2017)