Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Balancing Wind and Batteries: Towards Predictive Verification of Smart Grids., , , and . NFM, volume 12673 of Lecture Notes in Computer Science, page 1-18. Springer, (2021)Correct-by-construction policies for POMDPs., , , , , , and . SNR, page 6-8. ACM, (2019)COOL-MC: A Comprehensive Tool for Reinforcement Learning and Model Checking., , , and . SETTA, volume 13649 of Lecture Notes in Computer Science, page 41-49. Springer, (2022)AlwaysSafe: Reinforcement Learning without Safety Constraint Violations during Training., , and . AAMAS, page 1226-1235. ACM, (2021)Verifiable RNN-Based Policies for POMDPs Under Temporal Logic Constraints., , and . IJCAI, page 4121-4127. ijcai.org, (2020)Scheduled for July 2020, Yokohama, Japan, postponed due to the Corona pandemic..Robust Finite-State Controllers for Uncertain POMDPs., , , , , and . CoRR, (2020)Control Theory Meets POMDPs: A Hybrid Systems Approach., , , and . IEEE Trans. Autom. Control., 66 (11): 5191-5204 (2021)Task-Aware Verifiable RNN-Based Policies for Partially Observable Markov Decision Processes., , and . J. Artif. Intell. Res., (2021)Scenario-based verification of uncertain parametric MDPs., , , , , and . Int. J. Softw. Tools Technol. Transf., 24 (5): 803-819 (2022)Factored Online Planning in Many-Agent POMDPs., , , and . CoRR, (2023)