Lisa Kiekbusch studied technical computer science at the University of Kaiserslautern from 2002 to 2008. Since 2009 she is working as a research assistant in the Robotics Research Lab to complete her PhD. In continuation of her diploma thesis titled, "Oscillation Detection in Behaviour-Based Robot Architectures", she concentrates on the analysis and verification of behaviour-based robot control systems.
- Oscillation Detection in Behaviour-Based Robot Architectures.
- Applications of Visualization Technology in Robotics Software Development.
4th Human Computer Interaction and Visualization (HCIV) Workshop 2009, (2009-March 2)
- Oscillation Analysis in Behavior-Based Robot Architectures.
Autonome Mobile Systeme, S. 121 - 128. (2009)
- Contact lens fitting with the help of image processing.
- Using Behaviour Activity Sequences for Motion Generation and Situation Recognition.
Proceedings of the 8th International Conference on Informatics in Control, Automation and Robotics (ICINCO 2011), S. 120 - 127. (2011-July 28-31)
- Tutorial. Control System Development using iB2C.
- Verification of Behaviour Networks Using Finite-State Automata.
KI 2012, (2012-September 24-27)
- Tool-Assisted Verification of Behaviour Networks.
Proceedings of the 2013 IEEE International Conference on Robotics and Automation (ICRA 2013), S. 1813 - 1820. (2013-May 6-10)
- Quantitative Aspects of Behaviour Network Verification.
Proceedings of the 26th Canadian Conference on Artificial Intelligence, Vol. 7884, (2013-May 28-31)
- Modellierung und verteilte Simulation eines autonomen Mobilbaggers.
Tagungsband Fachtagung Digitales Engineering zum Planen, Testen und Betreiben Technischer Systeme, S. 123 - 130. (2012-June 26-28)
- Formal Verification of Behaviour Networks Including Hardware Failures.
Proceedings of the 13th International Conference on Intelligent Autonomous Systems (IAS-13), (2014-July 15-19)
- Soft Robot Control with a Behaviour-Based Architecture.
Soft Robotics - Transferring Theory to Application, S. 81 - 91. (2015)
- Formal Verification of Behaviour Networks Including Sensor Failures.
Robotics and Autonomous Systems, Vol. 74, Part B, S. 331 - 339. (2015-December)
- Real-time multi-platform pedestrian detection in a heavy duty driver assistance system.
Commercial Vehicle Technology 2016 – Proceedings of the Commercial Vehicle Technology Symposium (CVT 2016), S. 61 - 70. (2016-March 8-10)
- Analysis and Verification of Complex Robot Systems using Behaviour-Based Control.