Opfer, Stephan: Symbolic Representation of Dynamic Knowledge for Robotic Teams. PhD Thesis, University of Kassel, Germany, 2021 URL 2020

Jakob, Stefan; Opfer, Stephan; Jahl, Alexander; Baraki, Harun; Geihs, Kurt: Handling Semantic Inconsistencies in Commonsense Knowledge for Autonomous Service Robots. In Proceedings of the 14th IEEE International Conference on Semantic Computing, ICSC2020. San Diego, California, 2020 URL 2019

Opfer, Stephan; Jakob, Stefan; Geihs, Kurt: Teaching Commonsense and Dynamic Knowledge to Service Robots. In Proceedings of the 11th International Conference on Social Robotics, ICSR2019. Madrid, Spain, 2019 URL

Opfer, Stephan; Jakob, Stefan; Jahl, Alexander, Geihs, Kurt: ALICA 2.0 – Domain-Independent Teamwork. In Proceedings of the 42nd German Conference on Artificial Intelligence, KI2019. Kassel, Germany, 2019 URL 2018

Opfer, Stephan ; Ossenkopf, Marie ; Geihs, Kurt: Student Competition Teams: Combining Research and Teaching. In: Proceedings of the 47th Annual Conference of the Southern African Computer Lecturers’ Association, SACLA 2018. Cape Town, South Africa, 2018 PDF

Opfer, Stephan ; Jakob, Stefan ; Geihs, Kurt: Reasoning for Autonomous Agents in Dynamic Domains: Towards Automatic Satisfaction of the Module Property. In: Agents and Artificial Intelligence. Vol. 1 : Springer International Publishing, 2018 — ISBN 978-3-319-93581-2, p. 22–47 URL

Opfer, Stephan: Towards Description Logic Reasoning Support for ALICA. ISBN 978-6-202-20873-4 URL 2017

Opfer, Stephan ; Jakob, Stefan ; Geihs, Kurt: Reasoning for Autonomous Agents in Dynamic Domains. In: Proceedings of the 9th International Conference on Agents and Artificial Intelligence: ICAART. vol. Volume 2. Porto, Portugal, 2017 PDF

Niemczyk, Stefan ; Opfer, Stephan ; Fredivianus, Nugroho ; Geihs, Kurt: ICE – Self-Configuration of Information Processing in Heterogeneous Agent Teams. In: Proceedings of 12th Dependable, Adaptive, and Trustworthy Distributed Systems (DADS ’17). Marakesh, Marocco, 2017 URL 2016

Opfer, Stephan; Niemczyk, Stefan ; Geihs, Kurt: Multi-Agent Plan Verification with Answer Set Programming. In: Proceedings of the Third Workshop on Model-Driven Robot Software Engineering (MORSE16). Leipzig, Germany : ACM, 2016 PDF 2015

Witsch, Andreas ; Opfer, Stephan ; Geihs, Kurt: A Formal Multi-Agent Language for Cooperative Autonomous Driving Scenarios. In: International Conference on Connected Vehicles & Expo (ICCVE 2014). Vienna, Austria, 2014 PDF

Niemczyk, Stefan ; Kirchner, Dominik ; Witsch, Andreas ; Opfer, Stephan ; Geihs, Kurt: Distributed Sensing in a Robotic Soccer Team. In: CPSWeek 2014 – International Workshop on Robotic Sensor Networks. Berlin, 2014 PDF

Opfer, Stephan; Witsch, Andreas: Cooperative Behaviour of Autonomous Vehicles. Research Study. 2014. PDF

Opfer, Stephan: Grenzen von SROIQ bei der Unterstützung der Modellierung von Multi-Agenten-Plaenen. In: Informatik-Spektrum vol. 37.1, Springer Berlin Heidelberg (2014), pp. 42-45 URL 2013

Stephan Opfer: Limits of SROIQ in the Context of Reasoning Support for Multi-Agent Plan Modelling. In: GI-Informatiktage 2013 – Smart Life – dank Informatik. Lecture Notes in Informatics. Bonn: Gesellschaft für Informatik, 2013, pp. 55–58 PDF

Opfer, Stephan: Limits of SROIQ in the Context of Reasoning Support for Multi-Agent Plan Modelling. In: GI-Informatiktage 2013 – Smart Life – dank Informatik (Lecture Notes in Informatics). Bonn: Gesellschaft für Informatik. pp. 55-58. PDF

T. Amma, J. Beifuß, Z. Bozic, M. Bui, F. Gawora, T. Haque,K. Geihs, S.Jakob, D. Kirchner, N. Kubitza, K. Liebscher, S. Opfer, D. Saur, T. Schaake,T. Schlüter, S. Triller, A. Witsch: Carpe Noctem 2013. In: CD Proceedings of RoboCup Symposium. 2013. PDF 2011

Opfer, Stephan; Skubch, Hendrik; Geihs, Kurt: Cooperative path planning for multi-robot systems in dynamic domains. In Mobile Robots-Control Architectures, Bio-Interfacing, Navigation, Multi Robot Motion Planning and Operator Training. InTech. 2011 PDF 2010

Opfer, Stephan: Kooperative Pfadplanung für Multi-Robotersysteme in dynamischen Umgebungen. Bachelor’s Thesis. University of Kassel. 2010. PDF 2009

Amma, Till; Baer, Philipp; Baumgart, Kai; Burghardt, Philipp; Geihs, Kurt; Henze, Janosch; Opfer, Stephan, et al.: Carpe Noctem 2009. In RoboCup 2009 International Symposium. TU Graz, Graz. 2009. PDF

Opfer, Stephan: Efficient Decision Making in ALICA. 2009. PDF 2008

Opfer, Stephan; Triller, Stefan; Scheuermann, Stephan; Amma, Till; Blumenstein, Michael; Glogic, Ilhan: 1st Kassel Student Workshop on Security in Distributed Systems. In: Kasseler Informatik Schriften, Kassel, Germany, 2008 PDF