PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Kiekbusch, Lisa"

Author of the publication

copydeleteadd this publication to your clipboard
Verification of Behaviour Networks Using Finite-State Automata.

, , , and . KI, volume 7526 of Lecture Notes in Computer Science, page 1-12. Springer, (2012)

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.

Lisa Hoss University of Stuttgart

Lisa Schröder University of Stuttgart

Lisa Schöllhammer University of Stuttgart

Lisa Binanzer University of Stuttgart

Lisa Hörnig University of Stuttgart

 

Other publications of authors with the same name

Quantitative Aspects of Behaviour Network Verification., , , and . Canadian Conference on AI, volume 7884 of Lecture Notes in Computer Science, page 218-225. Springer, (2013)Verification of Behaviour Networks Using Finite-State Automata., , , and . KI, volume 7526 of Lecture Notes in Computer Science, page 1-12. Springer, (2012)Using Behaviour Activity Sequences for Motion Generation and Situation Recognition., , and . ICINCO (2), page 120-127. SciTePress, (2011)Formal Verification of Behaviour Networks Including Hardware Failures., , and . IAS, volume 302 of Advances in Intelligent Systems and Computing, page 1571-1582. Springer, (2014)Tool-assisted verification of behaviour networks., , , and . ICRA, page 1813-1820. IEEE, (2013)