R. Stemmer, I. Saxena, L. Panneke, D. Grundt, A. Austel, E. Möhlmann, and B. Westphal, "Runtime monitoring of complex scenario-based requirements for autonomous driving functions" Science of Computer Programming, vol. 244.
doi: 10.1016/j.scico.2025.103301
@article{scenario-monitoring-cars,
author = {Ralf Stemmer and Ishan Saxena and Lukas Panneke and Dominik Grundt and Anna Austel and Eike Möhlmann and Bernd Westphal},
title = {Runtime monitoring of complex scenario-based requirements for autonomous driving functions},
journal = {Science of Computer Programming},
volume = {244},
year = {2025},
doi = {10.1016/j.scico.2025.103301},
}
N. Würdemann, T. Chatain, S. Haar, and L. Panneke, "Taking Complete Finite Prefixes To High Level, Symbolically" Fundamenta Informaticae, vol. 192, iss. 3--4.
doi: 10.3233/FI-242196
@article{symbolic-unfolding-cfp,
author = {Nick Würdemann and Thomas Chatain and Stefan Haar and Lukas Panneke},
title = {Taking Complete Finite Prefixes To High Level, Symbolically},
journal = {Fundamenta Informaticae},
volume = {192},
number = {3--4},
pages = {313--361},
year = {2024},
doi = {10.3233/FI-242196},
eprinttype = {arXiv},
eprint = {2311.11443},
biburl = {https://dblp.org/rec/journals/corr/abs-2311-11443.bib},
}
L. Panneke, "Implementing Symbolic Unfoldings of High-level Petri Nets" Master's thesis , Oldenburg, 2023.
@thesis{master,
author = {Lukas Panneke},
title = {Implementing Symbolic Unfoldings of High-level Petri Nets},
year = {2023},
address = {Oldenburg},
school = {Carl von Ossietzky Universität Oldenburg},
type = {Master's thesis}
}
L. Panneke, "Optimization Techniques for Reachability Analysis of Bounded Petri Nets" Bachelor's thesis , Oldenburg, 2021.
@thesis{bachelor,
author = {Lukas Panneke},
title = {Optimization Techniques for Reachability Analysis of Bounded Petri Nets},
year = {2021},
address = {Oldenburg},
school = {Carl von Ossietzky Universität Oldenburg},
type = {Bachelor's thesis}