Christopher Armbrust

17 papers A* 1C 1Misc 1Journal 5Unranked 8
YearRankTypeTitle / Venue / Authors
2015 — —
Design and Verification of Behaviour-Based Systems Realising Task Sequences.
Christopher Armbrust
2014 C conf
Formal Verification of Behaviour Networks Including Hardware Failures.
IAS
Lisa Kiekbusch, Christopher Armbrust, Karsten Berns
2013 — conf
Quantitative Aspects of Behaviour Network Verification.
Canadian AI
Christopher Armbrust, Thorsten Ropertz, Lisa Kiekbusch, Karsten Berns
2013 J jnl
The Application of Design Schemata in Off-Road Robotics.
IEEE Intell. Transp. Syst. Mag.
Bernd-Helge Schäfer, Christopher Armbrust, Tobias Föhst, Karsten Berns
2013 — conf
The ICARUS project - Command, Control and Intelligence (C2I).
SSRR
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 M. Sanchez, António Coelho, Iratxe Orbe
2013 A* conf
Tool-assisted verification of behaviour networks.
ICRA
Christopher Armbrust, Lisa Kiekbusch, Thorsten Ropertz, Karsten Berns
2012 — conf
Generating Behaviour Networks from Finite-State Machines.
ROBOTIK
Christopher Armbrust, Daniel Schmidt, Karsten Berns
2012 Misc conf
Verification of Behaviour Networks Using Finite-State Automata.
KI
Christopher Armbrust, Lisa Kiekbusch, Thorsten Ropertz, Karsten Berns
2011 J jnl
Behaviour-Based Off-Road Robot Navigation.
Künstliche Intell.
Christopher Armbrust, Martin Proetzsch, Karsten Berns
2011 J jnl
Off-road Robotics - An Overview.
Künstliche Intell.
Karsten Berns, Klaus-Dieter Kuhnert, Christopher Armbrust
2011 J jnl
Themenheft Offroad-Robotik.
Künstliche Intell.
Karsten Berns, Christopher Armbrust
2011 — conf
Using Behaviour Activity Sequences for Motion Generation and Situation Recognition.
ICINCO (2)
Christopher Armbrust, Lisa Kiekbusch, Karsten Berns
2011 J jnl
Using an autonomous robot to maintain privacy in assistive environments.
Secur. Commun. Networks
Christopher Armbrust, Syed Atif Mehdi, Max Reichardt, Jan Koch, Karsten Berns
2010 — conf
A Behaviour-Based Integration of Fully Autonomous, Semi-Autonomous, and Tele-Operated Control Modes for an Off-Road Robot.
TA
Christopher Armbrust, Martin Proetzsch, Bernd-Helge Schäfer, Karsten Berns
2009 — conf
Methodology for robot mapping and navigation in assisted living environments.
PETRA
Syed Atif Mehdi, Christopher Armbrust, Jan Koch, Karsten Berns
2009 — conf
Using Passages to Support Off-road Robot Navigation.
ICINCO-RA
Christopher Armbrust, Helge Schäfer, Karsten Berns
2007 — conf
Mobile Robot Navigation Support in Living Environments.
AMS
Christopher Armbrust, Jan Koch, Ulf Stocker, Karsten Berns