Autor der Publikation

Quantitative Aspects of Behaviour Network Verification.

, , , und . Canadian Conference on AI, Volume 7884 von Lecture Notes in Computer Science, Seite 218-225. Springer, (2013)

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

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 Behaviour Networks Using Finite-State Automata., , , und . KI, Volume 7526 von Lecture Notes in Computer Science, Seite 1-12. Springer, (2012)Formal Verification of Behaviour Networks Including Hardware Failures., , und . IAS, Volume 302 von Advances in Intelligent Systems and Computing, Seite 1571-1582. Springer, (2014)Using Behaviour Activity Sequences for Motion Generation and Situation Recognition., , und . ICINCO (2), Seite 120-127. SciTePress, (2011)Tool-assisted verification of behaviour networks., , , und . ICRA, Seite 1813-1820. IEEE, (2013)