Autor der Publikation

Verification of Behavior-Based Control Systems in their Physical Environment.

, , , und . MBMV, Seite 128-137. Albert-Ludwigs-Universität Freiburg, (2016)

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

Tool-assisted verification of behaviour networks., , , und . ICRA, Seite 1813-1820. IEEE, (2013)Quantitative Aspects of Behaviour Network Verification., , , und . Canadian Conference on AI, Volume 7884 von Lecture Notes in Computer Science, Seite 218-225. Springer, (2013)Verification of Behavior-Based Control Systems in their Physical Environment., , , und . MBMV, Seite 128-137. Albert-Ludwigs-Universität Freiburg, (2016)Local Behavior-Based Navigation in Rough Off-Road Scenarios Based on Vehicle Kinematics., , , und . ICRA, Seite 719-724. IEEE, (2018)Combining Onthologies and Behavior-based Control for Aware Navigation in Challenging Off-road Environments., , , und . ICINCO (2), Seite 135-146. SciTePress, (2019)Verification of Behaviour Networks Using Finite-State Automata., , , und . KI, Volume 7526 von Lecture Notes in Computer Science, Seite 1-12. Springer, (2012)Behavior-Based Obstacle Detection in Off-Road Environments Considering Data Quality., , und . ICINCO (Selected Papers), Volume 495 von Lecture Notes in Electrical Engineering, Seite 786-809. Springer, (2017)Design and Analysis of Behavior-Based Systems using Formal Techniques.. Kaiserslautern University of Technology, Germany, (2019)