Lisa Kiekbusch

According to our database, Lisa Kiekbusch authored at least 6 papers between 2011 and 2017.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2017

Analysis and Verification of Complex Robot Systems using Behaviour-Based Control

Lisa Kiekbusch

PhD thesis, 2017

2014

Formal Verification of Behaviour Networks Including Hardware Failures.

Lisa Kiekbusch, Christopher Armbrust, Karsten Berns

Proceedings of the Intelligent Autonomous Systems 13, 2014

2013

Tool-assisted verification of behaviour networks.

Christopher Armbrust, Lisa Kiekbusch, Thorsten Ropertz, Karsten Berns

Proceedings of the 2013 IEEE International Conference on Robotics and Automation, 2013

Quantitative Aspects of Behaviour Network Verification.

Christopher Armbrust, Thorsten Ropertz, Lisa Kiekbusch, Karsten Berns

Proceedings of the Advances in Artificial Intelligence, 2013

2012

Verification of Behaviour Networks Using Finite-State Automata.

Christopher Armbrust, Lisa Kiekbusch, Thorsten Ropertz, Karsten Berns

Proceedings of the KI 2012: Advances in Artificial Intelligence, 2012

2011

Using Behaviour Activity Sequences for Motion Generation and Situation Recognition.

Christopher Armbrust, Lisa Kiekbusch, Karsten Berns

Proceedings of the ICINCO 2011 - Proceedings of the 8th International Conference on Informatics in Control, Automation and Robotics, Volume 2, Noordwijkerhout, The Netherlands, 28, 2011