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

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

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

Verification of Behavior-Based Control Systems in their Physical Environment. - Thorsten Ropertz; Karsten Berns; Xian Li 002; Klaus Schneider 001 (MBMV, 2016)

Quality-Based Behavior-Based Control for Autonomous Robots in Rough Environments. - Thorsten Ropertz; Patrick Wolf; Karsten Berns (ICINCO (1), 2017)

Behavior-Based Obstacle Detection in Off-Road Environments Considering Data Quality. - Patrick Wolf; Thorsten Ropertz; Karsten Berns (ICINCO (Selected Papers), 2017)

Local Behavior-Based Navigation in Rough Off-Road Scenarios Based on Vehicle Kinematics. - Patrick Wolf; Thorsten Ropertz; Moritz Oswald; Karsten Berns (ICRA, 2018)

Combining Onthologies and Behavior-based Control for Aware Navigation in Challenging Off-road Environments. - Patrick Wolf; Thorsten Ropertz; Philipp Feldmann; Karsten Berns (ICINCO (2), 2019)

Design and Analysis of Behavior-Based Systems using Formal Techniques. - Thorsten Ropertz (Verlag Dr. Hut, 2019)

Autonomous Off-Road Navigation Using Near-Feature-Based World Knowledge Incorporation on the Example of Forest Path Detection. - Patrick Wolf; Axel Vierling; Thorsten Ropertz; Simon Velden; Carlos Guzman; Karsten Berns (IAS, 2021)