Christopher Armbrust
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
5
Active years
2009–2014
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2014 | IAS | Formal Verification of Behaviour Networks Including Hardware Failures. | Lisa Kiekbusch, Christopher Armbrust, Karsten Berns |
| 2013 | AI | Quantitative Aspects of Behaviour Network Verification. | Christopher Armbrust, Thorsten Ropertz, Lisa Kiekbusch, Karsten Berns |
| 2013 | ICRA | Tool-assisted verification of behaviour networks. | Christopher Armbrust, Lisa Kiekbusch, Thorsten Ropertz, Karsten Berns |
| 2012 | KI | Verification of Behaviour Networks Using Finite-State Automata. | Christopher Armbrust, Lisa Kiekbusch, Thorsten Ropertz, Karsten Berns |
| 2011 | ICINCO | Using Behaviour Activity Sequences for Motion Generation and Situation Recognition. | Christopher Armbrust, Lisa Kiekbusch, Karsten Berns |
| 2009 | ICINCO | Using Passages to Support Off-road Robot Navigation. | Christopher Armbrust, Helge Schfer, Karsten Berns |