Automated process planning for cyber-physical production systems. - Antje Rogalla; Oliver Niggemann (ETFA, 2017)

Improved Domain Modeling for Realistic Automated Planning and Scheduling in Discrete Manufacturing. - Antje Rogalla; Alexander Fay; Oliver Niggemann (ETFA, 2018)

Why Symbolic AI is a Key Technology for Self-Adaption in the Context of CPPS. - Andreas Bunte; Paul Wunderlich; Natalia Moriz; Peng Li 045; André Mankowski; Antje Rogalla; Oliver Niggemann (ETFA, 2019)

Synthesizing Strategies for Needle Steering in Gelatin Phantoms. - Antje Rogalla; Sascha Lehmann; Maximilian Neidhardt; Johanna Sprenger; Marcel Bengs; Alexander Schlaefer; Sibylle Schupp (MARS@ETAPS, 2020)

Online Strategy Synthesis for Safe and Optimized Control of Steerable Needles. - Sascha Lehmann; Antje Rogalla; Maximilian Neidhardt; Alexander Schlaefer; Sibylle Schupp (FMAS, 2021)

Modeling R3 Needle Steering in Uppaal. - Sascha Lehmann; Antje Rogalla; Maximilian Neidhardt; Anton Reinecke; Alexander Schlaefer; Sibylle Schupp (MARS@ETAPS, 2022)

A provably safe controller for the needle-steering problem using online strategy synthesis. - Sascha Lehmann; Antje Rogalla; Maximilian Neidhardt; Alexander Schlaefer; Sibylle Schupp (Sci. Comput. Program., 2025)