Autor der Publikation

Data-driven memory-dependent abstractions of dynamical systems.

, , , und . L4DC, Volume 211 von Proceedings of Machine Learning Research, Seite 891-902. PMLR, (2023)

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

SafePILCO: A Software Tool for Safe and Data-Efficient Policy Synthesis., , , und . QEST, Volume 12289 von Lecture Notes in Computer Science, Seite 18-26. Springer, (2020)Efficient Probabilistic Model Checking of Smart Building Maintenance using Fault Maintenance Trees., , , und . CoRR, (2018)Formal and Efficient Synthesis for Continuous-Time Linear Stochastic Hybrid Processes., , , , und . IEEE Trans. Autom. Control., 66 (1): 17-32 (2021)Approximate Model Checking of Stochastic Hybrid Systems., , , und . Eur. J. Control, 16 (6): 624-641 (2010)Reasoning about Causality in Games., , , , , und . CoRR, (2023)Learning Task Automata for Reinforcement Learning using Hidden Markov Models., , , , und . CoRR, (2022)Observational Robustness and Invariances in Reinforcement Learning via Lexicographic Objectives., , , , und . CoRR, (2022)Hierarchical identification of nonlinear hybrid systems in a Bayesian framework., , , und . Inf. Comput., 289 (Part): 104947 (2022)Analyzing Occupancy-Driven Thermal Dynamics in Smart Buildings., , und . CoRR, (2019)Linear quadratic regulation of polytopic time-inhomogeneous Markov jump linear systems (extended version)., , und . CoRR, (2019)