Research Staff

M. Sc. Thorsten Ropertz

Phone: 0631 205-2627
Room: 48-354
Mail: ropertzinformatik.uni-klde

Vita

Thorsten Ropertz was born in 1986 and studied computer science at the University of Kaiserslautern from 2007 till 2012. His Bachelor's thesis was about the execution of synchronous programs using NVIDIA's CUDA. His Master's thesis is about the graphical support for the verification of behavior-based systems. His research interests are the formal analysis and verification of behavior-based robot control systems

Publications

2017

Thorsten Ropertz, Patrick Wolf, Karsten Berns
BibTex read as PDF search
Quality-Based Behavior-Based Control for Autonomous Robots in Rough Environments
Proceedings of the 14th International Conference on Informatics in Control, Automation and Robotics (ICINCO 2017), SCITEPRESS – Science and Technology Publications, Lda, vol. 1, pp. 513--524, INSTICC, 2017, July 26--28, Madrid, Spain, ISBN: 978-989-758-263-9; DOI: 10.5220/0006481405130524
Tobias Groll, Steffen Hemer, Thorsten Ropertz, Karsten Berns
BibTex search
A Behavior-based Architecture for Excavation Tasks
34th International Symposium on Automation and Robotics in Construction (ISARC), pp. 1005-1012, International Association for Automation and Robotics in Construction, 2017, June 28-July 1

2016

Thorsten Ropertz, Karsten Berns, Xian Li, Klaus Schneider
BibTex search
Verification of Behavior-Based Control Systems in their Physical Environment
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), University of Freiburg, pp. 128-137, 2016, Freiburg, Germany

2015

Christopher Armbrust, Lisa Kiekbusch, Thorsten Ropertz, Karsten Berns
BibTex read as PDF search
Soft Robot Control with a Behaviour-Based Architecture
Soft Robotics - Transferring Theory to Application, Springer-Verlag, pp. 81--91, 2015

2014

Thorsten Ropertz, Karsten Berns
BibTex read as PDF search
Verification of Behavior-Based Networks - Using Satisfiability Modulo Theories
Proceedings for the joint conference of ISR 2014 and ROBOTIK 2014, VDE VERLAG GMBH, pp. 669--674, 2014

2013

Christopher Armbrust, Lisa Kiekbusch, Thorsten Ropertz, Karsten Berns
BibTex read as PDF search
Quantitative Aspects of Behaviour Network Verification
Proceedings of the 26th Canadian Conference on Artificial Intelligence, Springer, vol. 7884, 2013, May 28-31, Regina, Saskatchewan, Canada
Christopher Armbrust, Lisa Kiekbusch, Thorsten Ropertz, Karsten Berns
BibTex read as PDF search
Tool-Assisted Verification of Behaviour Networks
Proceedings of the 2013 IEEE International Conference on Robotics and Automation (ICRA 2013), pp. 1813--1820, 2013, May 6-10, Karlsruhe, Germany

2012

Christopher Armbrust, Lisa Kiekbusch, Thorsten Ropertz, Karsten Berns
BibTex read as PDF search
Verification of Behaviour Networks Using Finite-State Automata
KI 2012: Advances in Artificial Intelligence, Springer, 2012, September 24-27, Saarbrücken, Germany, http://www.shaker.de/de/content/catalogue/index.asp?lang=de&ID=8&ISBN=978-3-8440-0798-5
Thorsten Ropertz
BibTex search
Graphical Support for the Verification of Behaviour Networks
Master's thesis, Robotics Research Lab, Department of Computer Science, University of Kaiserslautern, 2012, Kaiserslautern, Germany, unpublished; supervised by Christopher Armbrust and Lisa Kiekbusch

2011

Thorsten Ropertz
BibTex search
Modelling of Behaviour-Based Systems
thesis of Master's project, 2011, Kaiserslautern, Germany, unpublished; supervised by Christopher Armbrust