Thorsten Ropertz

According to our database, Thorsten Ropertz authored at least 10 papers between 2012 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

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

Proceedings of the Intelligent Autonomous Systems 16, 2021

2019

Design and Analysis of Behavior-Based Systems using Formal Techniques.

Thorsten Ropertz

PhD thesis, 2019

Combining Onthologies and Behavior-based Control for Aware Navigation in Challenging Off-road Environments.

Patrick Wolf, Thorsten Ropertz, Philipp Feldmann, Karsten Berns

Proceedings of the 16th International Conference on Informatics in Control, 2019

2018

Local Behavior-Based Navigation in Rough Off-Road Scenarios Based on Vehicle Kinematics.

Patrick Wolf, Thorsten Ropertz, Moritz Oswald, Karsten Berns

Proceedings of the 2018 IEEE International Conference on Robotics and Automation, 2018

2017

Behavior-Based Obstacle Detection in Off-Road Environments Considering Data Quality.

Patrick Wolf, Thorsten Ropertz, Karsten Berns

Proceedings of the Informatics in Control, Automation and Robotics, 2017

Quality-Based Behavior-Based Control for Autonomous Robots in Rough Environments.

Thorsten Ropertz, Patrick Wolf, Karsten Berns

Proceedings of the 14th International Conference on Informatics in Control, 2017

2016

Verification of Behavior-Based Control Systems in their Physical Environment.

Thorsten Ropertz, Karsten Berns, Xian Li, Klaus Schneider

Proceedings of the 19th GI/ITG/GMM Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, 2016

2013

Tool-assisted verification of behaviour networks.

Christopher Armbrust, Lisa Kiekbusch, Thorsten Ropertz, Karsten Berns

Proceedings of the 2013 IEEE International Conference on Robotics and Automation, 2013

Quantitative Aspects of Behaviour Network Verification.

Christopher Armbrust, Thorsten Ropertz, Lisa Kiekbusch, Karsten Berns

Proceedings of the Advances in Artificial Intelligence, 2013

2012

Verification of Behaviour Networks Using Finite-State Automata.

Christopher Armbrust, Lisa Kiekbusch, Thorsten Ropertz, Karsten Berns

Proceedings of the KI 2012: Advances in Artificial Intelligence, 2012