Autor der Publikation

DeepSynth: Automata Synthesis for Automatic Task Segmentation in Deep Reinforcement Learning.

, , , , und . AAAI, Seite 7647-7656. AAAI Press, (2021)

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

Efficient Probabilistic Model Checking of Smart Building Maintenance using Fault Maintenance Trees., , , und . CoRR, (2018)Data-Efficient Bayesian Verification of Parametric Markov Chains., , , und . QEST, Volume 9826 von Lecture Notes in Computer Science, Seite 35-51. Springer, (2016)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)Formal and Efficient Synthesis for Continuous-Time Linear Stochastic Hybrid Processes., , , , und . IEEE Trans. Autom. Control., 66 (1): 17-32 (2021)Observational Robustness and Invariances in Reinforcement Learning via Lexicographic Objectives., , , , und . CoRR, (2022)Learning Task Automata for Reinforcement Learning using Hidden Markov Models., , , , und . CoRR, (2022)Reasoning about Causality in Games., , , , , und . CoRR, (2023)Hierarchical identification of nonlinear hybrid systems in a Bayesian framework., , , und . Inf. Comput., 289 (Part): 104947 (2022)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)