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

Approximate Model Checking of Stochastic Hybrid Systems., , , und . Eur. J. Control, 16 (6): 624-641 (2010)Formal and Efficient Synthesis for Continuous-Time Linear Stochastic Hybrid Processes., , , , und . IEEE Trans. Autom. Control., 66 (1): 17-32 (2021)Jump Operator Planning: Goal-Conditioned Policy Ensembles and Zero-Shot Transfer., , und . CoRR, (2020)Bayes-Adaptive Planning for Data-Efficient Verification of Uncertain Markov Decision Processes., und . QEST, Volume 11785 von Lecture Notes in Computer Science, Seite 91-108. Springer, (2019)Observational Robustness and Invariances in Reinforcement Learning via Lexicographic Objectives., , , , und . CoRR, (2022)Data-driven memory-dependent abstractions of dynamical systems., , , und . CoRR, (2022)Reasoning about Causality in Games., , , , , und . CoRR, (2023)Learning Task Automata for Reinforcement Learning using Hidden Markov Models., , , , und . CoRR, (2022)Experimental Biological Protocols with Formal Semantics., , , , und . CoRR, (2017)Efficient Probabilistic Model Checking of Smart Building Maintenance using Fault Maintenance Trees., , , und . CoRR, (2018)