Design and Verification of Behaviour-Based Systems Realising Task Sequences. - Armbrust, Christopher (Verlag Dr. Hut, 2015)

Formal Verification of Behaviour Networks Including Hardware Failures. - Kiekbusch, Lisa; Armbrust, Christopher; Berns, Karsten (2014)

The Application of Design Schemata in Off-Road Robotics. - Schäfer, Bernd-Helge; Armbrust, Christopher; Föhst, Tobias; Berns, Karsten (IEEE Intell. Transp. Syst. Mag., 2013)

Quantitative Aspects of Behaviour Network Verification. - Armbrust, Christopher; Ropertz, Thorsten; Kiekbusch, Lisa; Berns, Karsten (2013)

Tool-assisted verification of behaviour networks. - Armbrust, Christopher; Kiekbusch, Lisa; Ropertz, Thorsten; Berns, Karsten (2013)

The ICARUS project - Command, Control and Intelligence (C2I). - Govindaraj, Shashank; Chintamani, Keshav; Gancet, Jeremi; Letier, Pierre; Lierde, Boris van; Nevatia, Yashodhan; Cubber, Geert De; Serrano, Daniel; Palomares, Miguel Esbri; Bedkowski, Janusz; Armbrust, Christopher; Sanchez, Jose M.; et al. (2013)

Verification of Behaviour Networks Using Finite-State Automata. - Armbrust, Christopher; Kiekbusch, Lisa; Ropertz, Thorsten; Berns, Karsten (2012)

Generating Behaviour Networks from Finite-State Machines. - Armbrust, Christopher; Schmidt, Daniel; Berns, Karsten (2012)

Themenheft Offroad-Robotik. - Berns, Karsten; Armbrust, Christopher (Künstliche Intell., 2011)

Off-road Robotics - An Overview. - Berns, Karsten; Kuhnert, Klaus-Dieter; Armbrust, Christopher (Künstliche Intell., 2011)

Behaviour-Based Off-Road Robot Navigation. - Armbrust, Christopher; Proetzsch, Martin; Berns, Karsten (Künstliche Intell., 2011)

Using an autonomous robot to maintain privacy in assistive environments. - Armbrust, Christopher; Mehdi, Syed Atif; Reichardt, Max; Koch, Jan; Berns, Karsten (Secur. Commun. Networks, 2011)

Using Behaviour Activity Sequences for Motion Generation and Situation Recognition. - Armbrust, Christopher; Kiekbusch, Lisa; Berns, Karsten (2011)

A Behaviour-Based Integration of Fully Autonomous, Semi-Autonomous, and Tele-Operated Control Modes for an Off-Road Robot. - Armbrust, Christopher; Proetzsch, Martin; Schäfer, Bernd-Helge; Berns, Karsten (2010)

Using Passages to Support Off-road Robot Navigation. - Armbrust, Christopher; Schäfer, Helge; Berns, Karsten (2009)

Methodology for robot mapping and navigation in assisted living environments. - Mehdi, Syed Atif; Armbrust, Christopher; Koch, Jan; Berns, Karsten (2009)

Mobile Robot Navigation Support in Living Environments. - Armbrust, Christopher; Koch, Jan; Stocker, Ulf; Berns, Karsten (2007)