Christopher Armbrust

According to our database1, Christopher Armbrust authored at least 17 papers between 2007 and 2015.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2015
Design and Verification of Behaviour-Based Systems Realising Task Sequences.
PhD thesis, 2015

2014
Formal Verification of Behaviour Networks Including Hardware Failures.
Proceedings of the Intelligent Autonomous Systems 13, 2014

2013
The Application of Design Schemata in Off-Road Robotics.
IEEE Intell. Transp. Syst. Mag., 2013

The ICARUS project - Command, Control and Intelligence (C2I).
Proceedings of the IEEE International Symposium on Safety, Security, and Rescue Robotics, 2013

Tool-assisted verification of behaviour networks.
Proceedings of the 2013 IEEE International Conference on Robotics and Automation, 2013

Quantitative Aspects of Behaviour Network Verification.
Proceedings of the Advances in Artificial Intelligence, 2013

2012
Generating Behaviour Networks from Finite-State Machines.
Proceedings of the ROBOTIK 2012, 2012

Verification of Behaviour Networks Using Finite-State Automata.
Proceedings of the KI 2012: Advances in Artificial Intelligence, 2012

2011
Using an autonomous robot to maintain privacy in assistive environments.
Secur. Commun. Networks, 2011

Off-road Robotics - An Overview.
Künstliche Intell., 2011

Themenheft Offroad-Robotik.
Künstliche Intell., 2011

Behaviour-Based Off-Road Robot Navigation.
Künstliche Intell., 2011

Using Behaviour Activity Sequences for Motion Generation and Situation Recognition.
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

2010
A Behaviour-Based Integration of Fully Autonomous, Semi-Autonomous, and Tele-Operated Control Modes for an Off-Road Robot.
Proceedings of the 2nd IFAC Symposium on Telematics Applications, 2010

2009
Methodology for robot mapping and navigation in assisted living environments.
Proceedings of the 2nd International Conference on Pervasive Technologies Related to Assistive Environments, 2009

Using Passages to Support Off-road Robot Navigation.
Proceedings of the ICINCO 2009, 2009

2007
Mobile Robot Navigation Support in Living Environments.
Proceedings of the Autonome Mobile Systeme 2007, 2007


  Loading...