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

Safe and Efficient Reinforcement Learning for Environmental Monitoring., , , , , , , und . Ital-IA, Volume 3486 von CEUR Workshop Proceedings, Seite 610-615. CEUR-WS.org, (2023)Verifying Learning-Based Robotic Navigation Systems., , , , , , und . TACAS (1), Volume 13993 von Lecture Notes in Computer Science, Seite 607-627. Springer, (2023)Developing safe and explainable autonomous agents: from simulation to the real world., , , , , , und . Ital-IA, Volume 3762 von CEUR Workshop Proceedings, Seite 129-134. CEUR-WS.org, (2024)Towards Hierarchical Task Decomposition using Deep Reinforcement Learning for Pick and Place Subtasks., , , , , und . ICAR, Seite 640-645. IEEE, (2021)Rigorous Probabilistic Guarantees for Robust Counterfactual Explanations., , , und . ECAI, Volume 392 von Frontiers in Artificial Intelligence and Applications, Seite 1059-1066. IOS Press, (2024)Online Safety Property Collection and Refinement for Safe Deep Reinforcement Learning in Mapless Navigation., , und . ICRA, Seite 7133-7139. IEEE, (2023)Enumerating Safe Regions in Deep Neural Networks with Provable Probabilistic Guarantees., , , , und . AAAI, Seite 21387-21394. AAAI Press, (2024)Scaling #DNN-Verification Tools with Efficient Bound Propagation and Parallel Computing (regular paper)., , und . AIRO@AI*IA, Volume 3686 von CEUR Workshop Proceedings, Seite 92-106. CEUR-WS.org, (2023)Curriculum learning for safe mapless navigation., , , und . SAC, Seite 766-769. ACM, (2022)Safe Deep Reinforcement Learning by Verifying Task-Level Properties., , , und . AAMAS, Seite 1466-1475. ACM, (2023)