Antje Rogalla

According to our database, Antje Rogalla authored at least 6 papers between 2017 and 2022.

Collaborative distances:

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

2022

Modeling R³ Needle Steering in Uppaal.

Sascha Lehmann, Antje Rogalla, Maximilian Neidhardt, Anton Reinecke, Alexander Schlaefer, Sibylle Schupp

Proceedings of the Proceedings Fifth Workshop on Models for Formal Analysis of Real Systems, 2022

2021

Online Strategy Synthesis for Safe and Optimized Control of Steerable Needles.

Sascha Lehmann, Antje Rogalla, Maximilian Neidhardt, Alexander Schlaefer, Sibylle Schupp

Proceedings of the Proceedings Third Workshop on Formal Methods for Autonomous Systems, 2021

2020

Synthesizing Strategies for Needle Steering in Gelatin Phantoms.

Antje Rogalla, Sascha Lehmann, Maximilian Neidhardt, Johanna Sprenger, Marcel Bengs, Alexander Schlaefer, Sibylle Schupp

Proceedings of the 4th Workshop on Models for Formal Analysis of Real Systems, 2020

2019

Why Symbolic AI is a Key Technology for Self-Adaption in the Context of CPPS.

Andreas Bunte, Paul Wunderlich, Natalia Moriz, Peng Li, André Mankowski, Antje Rogalla, Oliver Niggemann

Proceedings of the 24th IEEE International Conference on Emerging Technologies and Factory Automation, 2019

2018

Improved Domain Modeling for Realistic Automated Planning and Scheduling in Discrete Manufacturing.

Antje Rogalla, Alexander Fay, Oliver Niggemann

Proceedings of the 23rd IEEE International Conference on Emerging Technologies and Factory Automation, 2018

2017

Automated process planning for cyber-physical production systems.

Antje Rogalla, Oliver Niggemann

Proceedings of the 22nd IEEE International Conference on Emerging Technologies and Factory Automation, 2017