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

Can Cut-Generating Functions Be Good and Efficient?, und . SIAM Journal on Optimization, 29 (2): 1190-1210 (2019)Model-based falsification of an artificial pancreas control system., , , , , und . SIGBED Review, 14 (2): 24-33 (2017)Guest Editorial: Special issue on formal modeling and analysis of timed systems., , und . Real-Time Systems, 53 (3): 289-290 (2017)Collecting Statistics Over Runtime Executions., , und . Formal Methods in System Design, 27 (3): 253-274 (2005)Constructing invariants for hybrid systems., , und . Formal Methods in System Design, 32 (1): 25-55 (2008)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)Constructing Invariants for Hybrid Systems., , und . HSCC, Volume 2993 von Lecture Notes in Computer Science, Seite 539-554. Springer, (2004)Models, Devices, Properties, and Verification of Artificial Pancreas Systems., , , , , und . Automated Reasoning for Systems Biology and Medicine, Volume 30 von Computational Biology, Springer, (2019)Learning Lyapunov (Potential) Functions from Counterexamples and Demonstrations., und . Robotics: Science and Systems, (2017)