Taking Complete Finite Prefixes To High Level, Symbolically. - Nick Würdemann; Thomas Chatain; Stefan Haar; Lukas Panneke (Fundam. Informaticae, 2024)

Runtime monitoring of complex scenario-based requirements for autonomous driving functions. - Ralf Stemmer; Ishan Saxena; Lukas Panneke; Dominik Grundt; Anna Austel; Eike Möhlmann; Bernd Westphal (Sci. Comput. Program., 2025)