Vita

Thorsten Ropertz wurde am 31.12.1986 in Waldbröl geboren. Er studierte von 2007 bis 2012 Informatik an der Technischen Universität Kaiserslautern. Studienschwerpunkt waren die Robotik und Eingebettete Systeme. Seine Bachelorarbeit beschäftigt sich mit der Portierung und Ausführung synchroner Programme auf Grafikprozessoren mit Hilfe von NVIDIAs CUDA. Sein Studium beendete er mit seiner Masterarbeit über die grafische Unterstützung der Verifikation von verhaltensbasierten Steuerungssystemen. Sein Forschungsschwerpunkt liegt in der formalen Analyse und Verifikation von verhaltensbasierten Systemen.

Publications

 

Sort by: Author, Year, Title

  • Verification of Behaviour Networks Using Finite-State Automata.
    Christopher Armbrust, Lisa Kiekbusch, Thorsten Ropertz and Karsten Berns
    KI 2012, (2012)
    http://www.shaker.de/de/content/catalogue/index.asp?lang=de&ID=8&ISBN=978-3-8440-0798-5
  • Tool-Assisted Verification of Behaviour Networks.
    Christopher Armbrust, Lisa Kiekbusch, Thorsten Ropertz and Karsten Berns
    Proceedings of the 2013 IEEE International Conference on Robotics and Automation (ICRA 2013), S. 1813 - 1820. (2013)
  • Quantitative Aspects of Behaviour Network Verification.
    Christopher Armbrust, Lisa Kiekbusch, Thorsten Ropertz and Karsten Berns
    Proceedings of the 26th Canadian Conference on Artificial Intelligence, Vol. 7884, (2013)
  • Verification of Behavior-Based Networks - Using Satisfiability Modulo Theories.
    Thorsten Ropertz and Karsten Berns
    Proceedings for the joint conference of ISR 2014 and ROBOTIK 2014, S. 669 - 674. (2014)
  • Soft Robot Control with a Behaviour-Based Architecture.
    Christopher Armbrust, Lisa Kiekbusch, Thorsten Ropertz and Karsten Berns
    Soft Robotics - Transferring Theory to Application, S. 81 - 91. (2015)
  • Verification of Behavior-Based Control Systems in their Physical Environment.
    Thorsten Ropertz, Karsten Berns, Xian Li and Klaus Schneider
    Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), S. 128 - 137. (2016)
  • A Behavior-based Architecture for Excavation Tasks.
    Tobias Groll, Steffen Hemer, Thorsten Ropertz and Karsten Berns
    34th International Symposium on Automation and Robotics in Construction (ISARC), S. 1005 - 1012. (2017)
  • Quality-Based Behavior-Based Control for Autonomous Robots in Rough Environments.
    Thorsten Ropertz, Patrick Wolf and Karsten Berns
    Proceedings of the 14th International Conference on Informatics in Control, Automation and Robotics (ICINCO 2017), Vol. 1, S. 513 - 524. (2017)
  • Behavior-Based Control for Safe and Robust Navigation of an Unimog in Off-Road Environments.
    Patrick Wolf, Thorsten Ropertz, Karsten Berns, Martin Thul, Peter Wetzel and Achim Vogt
    Commercial Vehicle Technology 2018. Proceedings of the 5th Commercial Vehicle Technology Symposium – CVT 2018, S. 63 - 76. (2018)
  • Cooperation and Communication of Autonomous Tandem Rollers in Street Construction Scenarios.
    Thorsten Ropertz, Patrick Wolf, Karsten Berns, Jochen Hirth and Peter Decker
    Commercial Vehicle Technology 2018. Proceedings of the 5th Commercial Vehicle Technology Symposium – CVT 2018, S. 25 - 36. (2018)
  • Local Behavior-Based Navigation in Rough Off-Road Scenarios based on Vehicle Kinematics.
    Patrick Wolf, Thorsten Ropertz, Moritz Oswald and Karsten Berns
    2018 IEEE International Conference on Robotics and Automation (ICRA), S. 719 - 724. (2018)
    DOI: 10.1109/ICRA.2018.8460631
  • Behavior-Based Low-Level Control for (semi-) Autonomous Vehicles in Rough Terrain.
    Thorsten Ropertz, Patrick Wolf and Karsten Berns
    Proceedings of ISR 2018, S. 386 - 393. (2018)
  • Autonomous trenching with hierarchically organized primitives.
    Tobias Groll, Steffen Hemer, Thorsten Ropertz and Karsten Berns
    Automation in Construction, Vol. 98, S. 214 - 224. (2019)
  • White Paper. High Quality Road Construction using 5G-AMMCOA. Autonomous Mobile Machine Communication for Off-Road Applications.
    Patrick Wolf, Thorsten Ropertz, Karsten Berns and Peter Decker
    , S. 1 - 7. (2019)
  • Distributed Coordination and Task Assignment of Autonomous Tandem Rollers in Road Construction Scenarios.
    Patrick Wolf, Thorsten Ropertz, Alexander Matheis, Karsten Berns and Peter Decker
    36th International Symposium on Automation and Robotics in Construction (ISARC 2019), S. 953 - 960. (2019)
  • Behavior-Based Obstacle Detection in Off-Road Environments Considering Data Quality.
    Patrick Wolf, Thorsten Ropertz and Karsten Berns
    Informatics in Control, Automation and Robotics, Vol. 495, S. 786 - 809. (2020)
  • Combining Onthologies and Behavior-Based Control for Aware Navigation in Challenging Off-Road Environments.
    Patrick Wolf, Thorsten Ropertz, Philipp Feldmann and Karsten Berns
    Proceedings of the 16th International Conference on Informatics in Control, Automation and Robotics (ICINCO 2019), S. 135 - 146. (2019)
    DOI: 10.5220/0007934301350146, ISBN: 9789897583803
  • Advanced scene aware navigation for the heavy duty off-road vehicle Unimog.
    Patrick Wolf, Axel Vierling, Thorsten Ropertz and Karsten Berns
    The 9th International Conference on Advanced Concepts in Mechanical Engineering – ACME 2020. IOP Conference Series, Vol. 997, S. 1 - 18. (2020)
    DOI: 10.1088/1757-899x/997/1/012093
  • 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 and Karsten Berns
    Preprint submitted to Robotics and Autonomous Systems, (2020)