Lisa Kiekbusch

Publication Activity (10 Years)

Years Active: 2011-2014
Publications (10 Years): 0

Top Topics

Formal Verification

Top Venues

Canadian Conference on AI

Publications

Lisa Kiekbusch, Christopher Armbrust, Karsten Berns
Formal Verification of Behaviour Networks Including Hardware Failures. IAS (2014)
Christopher Armbrust, Lisa Kiekbusch, Thorsten Ropertz, Karsten Berns
Tool-assisted verification of behaviour networks. ICRA (2013)
Christopher Armbrust, Thorsten Ropertz, Lisa Kiekbusch, Karsten Berns
Quantitative Aspects of Behaviour Network Verification. Canadian Conference on AI (2013)
Christopher Armbrust, Lisa Kiekbusch, Thorsten Ropertz, Karsten Berns
Verification of Behaviour Networks Using Finite-State Automata. KI (2012)
Christopher Armbrust, Lisa Kiekbusch, Karsten Berns
Using Behaviour Activity Sequences for Motion Generation and Situation Recognition. ICINCO (2) (2011)