Two papers submitted by members of the FSA group have been accepted for publication at TACAS 2024, which will take place in Luxembourg. The following papers will be presented there:

“OxiDD: A Safe, Concurrent, Modular, and Performant Decision Diagram Framework in Rust” by Nils Husung, Clemens Dubslaff, Maximilian A. Köhl, and Holger Hermanns

“CTMCs with Imprecisely Timed Observations” by Thom Badings, Matthias Volk, Sebastian Junges, Marielle Stoelinga, and Nils Jansen