Publications

2015

Christopher Armbrust, Lisa Kiekbusch, Thorsten Ropertz, Karsten Berns
BibTex read as PDF search
Soft Robot Control with a Behaviour-Based Architecture
Soft Robotics - Transferring Theory to Application, Springer-Verlag, pp. 81--91, 2015

2014

Lisa Kiekbusch, Christopher Armbrust, Karsten Berns
BibTex read as PDF search
Formal Verification of Behaviour Networks Including Hardware Failures
Proceedings of the 13th International Conference on Intelligent Autonomous Systems (IAS-13), 2014, July 15-19, Padova, Italy
Thomas Pfister, Karsten Berns
BibTex search
Unmanned Ground Vehicles for Urban Search and Rescue in the EU-FP7 Project ICARUS
Proceedings of the 3rd Commercial Vehicle Technology Symposium (CVT 2014), Shaker Verlag, pp. 13-22, 2014, March 11-13, University of Kaiserslautern, Kaiserslautern, Germany
Christopher Armbrust, Geert De Cubber, Karsten Berns
BibTex read as PDF search
ICARUS - Control Systems for Search and Rescue Robots
Field and Assistive Robotics - Advances in Systems and Algorithms, Shaker Verlag, pp. 1--16, 2014, Aachen, ISBN-13: 978-3-8440-2753-2

2013

Geert De Cubber, Daniela Doroftei, Yvan Baudoin, Daniel Serrano, Karsten Berns, Christopher Armbrust, Keshav Chintamani, Rui Sabino, Stéphane Ourevitch, Tommaso Flamma
BibTex read as PDF search
Search and Rescue robots developed by the European ICARUS project
Proceedings of the IARP Seventh International Workshop on Robotics for Risky Environments - Extreme Robotics (7th IARP RISE-ER 2013), International Advanced Robotics Programme, 2013, October 1-3, Saint Petersburg, Russia
Shashank Govindaraj, Keshav Chintamani, Jeremi Gancet, Pierre Letier, Boris van Lierde, Yashodhan Nevatia, Geert De Cubber, Daniel Serrano, Miguel Esbri Palomares, Janusz Bedkowski, Christopher Armbrust, Jose Sanchez, Antonio Coelho, Iratxe Orbe
BibTex read as PDF search
The ICARUS Project - Command, Control and Intelligence (C2I)
Proceedings of the 11th IEEE International Symposium on Safety, Security, and Rescue Robotics (SSRR 2013), IEEE RAS, 2013, October 21-26, Linköping, Sweden
Christopher Armbrust, Lisa Kiekbusch, Thorsten Ropertz, Karsten Berns
BibTex read as PDF search
Quantitative Aspects of Behaviour Network Verification
Proceedings of the 26th Canadian Conference on Artificial Intelligence, Springer, vol. 7884, 2013, May 28-31, Regina, Saskatchewan, Canada
Christopher Armbrust, Lisa Kiekbusch, Thorsten Ropertz, Karsten Berns
BibTex read as PDF search
Tool-Assisted Verification of Behaviour Networks
Proceedings of the 2013 IEEE International Conference on Robotics and Automation (ICRA 2013), pp. 1813--1820, 2013, May 6-10, Karlsruhe, Germany
Bernd-Helge Schäfer, Christopher Armbrust, Tobias Föhst, Karsten Berns
BibTex read as PDF search
The Application of Design Schemata in Off-Road Robotics
in Intelligent Transportation Systems Magazine, IEEE, vol. 5, no. 1, pp. 4-27, 2013, Spring