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

Editorial: Special Section VCPSS'09., , , und . ACM Trans. Embedded Comput. Syst., 11 (S2): 52:1-52:3 (2012)Can Cut-Generating Functions Be Good and Efficient?, und . SIAM Journal on Optimization, 29 (2): 1190-1210 (2019)Models, Devices, Properties, and Verification of Artificial Pancreas Systems., , , , , und . Automated Reasoning for Systems Biology and Medicine, Volume 30 von Computational Biology, Springer, (2019)Specification-Based Monitoring of Cyber-Physical Systems: A Survey on Theory, Tools and Applications., , , , , , und . Lectures on Runtime Verification, Volume 10457 von Lecture Notes in Computer Science, Springer, (2018)QUICr: A Reusable Library for Parametric Abstraction of Sets and Numbers., , und . CAV, Volume 8559 von Lecture Notes in Computer Science, Seite 866-873. Springer, (2014)Path-Following through Control Funnel Functions., , , und . IROS, Seite 401-408. IEEE, (2018)Distributed Online Convex Programming for Collision Avoidance in Multi-agent Autonomous Vehicle Systems., , , , und . ACC, Seite 2771-2776. IEEE, (2019)Constructing Invariants for Hybrid Systems., , und . HSCC, Volume 2993 von Lecture Notes in Computer Science, Seite 539-554. Springer, (2004)Learning Lyapunov (Potential) Functions from Counterexamples and Demonstrations., und . Robotics: Science and Systems, (2017)Collecting Statistics Over Runtime Executions., , und . Formal Methods in System Design, 27 (3): 253-274 (2005)