Autor der Publikation

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.

 

Weitere Publikationen von Autoren mit dem selben Namen

Taming Service Uncertainty through Probabilistic Model Learning, Analysis and Synthesis.. UCC Companion, Seite 163. ACM, (2019)Detection and Mitigation of Rare Subclasses in Neural Network Classifiers., und . CoRR, (2019)CADS*: Computer-Aided Development of Self-* Systems., und . FASE, Volume 5503 von Lecture Notes in Computer Science, Seite 421-424. Springer, (2009)Formal Verification With Confidence Intervals to Establish Quality of Service Properties of Software Systems., , , , , und . IEEE Trans. Reliab., 65 (1): 107-125 (2016)Uncertainty in Self-adaptive Systems: A Research Community Perspective., , , , , und . ACM Trans. Auton. Adapt. Syst., 15 (4): 10:1-10:36 (2020)From Pluralistic Normative Principles to Autonomous-Agent Rules., , , , , , , und . Minds Mach., 32 (4): 683-715 (2022)Bayesian Learning for the Robust Verification of Autonomous Robots., , , , , und . CoRR, (2023)Verified Synthesis of Optimal Safety Controllers for Human-Robot Collaboration., , , , , , , und . CoRR, (2021)Quantitative Verification with Adaptive Uncertainty Reduction., , , und . CoRR, (2021)Specification, Validation and Verification of Social, Legal, Ethical, Empathetic and Cultural Requirements for Autonomous Agents., , , , , und . CoRR, (2023)