publications

2025

1. CAV

   Branching Bisimulation Learning

   Alessandro Abate, Mirco Giacobbe, Christian Micheletti, and Yannik Schnitzer

   In Computer Aided Verification (To Appear) , 2025

   arXiv Bib

   @inproceedings{AGMS25,
     author = {Abate, Alessandro and Giacobbe, Mirco and Micheletti, Christian and Schnitzer, Yannik},
     title = {Branching Bisimulation Learning},
     booktitle = {{Computer Aided Verification (To Appear)}},
     year = {2025},
   }

2. CDC

   Certified Approximate Reachability (CARe): Formal Error Bounds on Deep Learning of Reachable Sets

   Prashant Solanki, Nikolaus Vertovec, Yannik Schnitzer, Jasper J. Beers, Cornelis C. Visser, and Alessandro Abate

   In IEEE Conference on Decision and Control (To Appear) , 2025

   arXiv
3. TACAS

   Certifiably Robust Policies for Uncertain Parametric Environments

   Yannik Schnitzer, Alessandro Abate, and David Parker

   In Tools and Algorithms for the Construction and Analysis of Systems , 2025

   arXiv Bib

   @inproceedings{schnitzer2025,
     author = {Schnitzer, Yannik and Abate, Alessandro and Parker, David},
     title = {Certifiably Robust Policies for Uncertain Parametric Environments},
     booktitle = {{Tools and Algorithms for the Construction and Analysis of Systems}},
     year = {2025},
   }

2024

1. CAV

   Bisimulation Learning

   Alessandro Abate, Mirco Giacobbe, and Yannik Schnitzer

   In Computer Aided Verification , 2024

   arXiv Bib

   @inproceedings{abate2024bisimulation,
     author = {Abate, Alessandro and Giacobbe, Mirco and Schnitzer, Yannik},
     title = {Bisimulation Learning},
     booktitle = {{Computer Aided Verification}},
     series = {Lecture Notes in Computer Science},
     publisher = {Springer},
     year = {2024},
   }

2. LNCS

   Model Checking and Strategy Synthesis with Abstractions and Certificates

   Alessandro Abate, Mirco Giacobbe, Diptarko Roy, and Yannik Schnitzer

   In Principles of Verification , 2024

   Bib HTML

   @inproceedings{DBLP:conf/birthday/AbateGRS25,
     author = {Abate, Alessandro and Giacobbe, Mirco and Roy, Diptarko and Schnitzer, Yannik},
     title = {Model Checking and Strategy Synthesis with Abstractions and Certificates},
     booktitle = {Principles of Verification},
     series = {Lecture Notes in Computer Science},
     volume = {15261},
     pages = {360--391},
     publisher = {Springer},
     year = {2024},
   }

2023

1. STTT

   On the road with RTLola

   Sebastian Biewer, Bernd Finkbeiner, Holger Hermanns, Maximilian A. Köhl, Yannik Schnitzer, and Maximilian Schwenger

   Int. J. Softw. Tools Technol. Transf., 2023

   Bib HTML

   @article{DBLP:journals/sttt/BiewerFHKSS23,
     author = {Biewer, Sebastian and Finkbeiner, Bernd and Hermanns, Holger and K{\"{o}}hl, Maximilian A. and Schnitzer, Yannik and Schwenger, Maximilian},
     title = {On the road with RTLola},
     journal = {Int. J. Softw. Tools Technol. Transf.},
     volume = {25},
     number = {2},
     pages = {205--218},
     year = {2023},
   }

2021

1. TACAS

   RTLola on Board: Testing Real Driving Emissions on your Phone

   Sebastian Biewer, Bernd Finkbeiner, Holger Hermanns, Maximilian A. Köhl, Yannik Schnitzer, and Maximilian Schwenger

   In Tools and Algorithms for the Construction and Analysis of Systems , 2021

   arXiv Bib HTML

   @inproceedings{DBLP:conf/tacas/BiewerFHKSS21,
     author = {Biewer, Sebastian and Finkbeiner, Bernd and Hermanns, Holger and K{\"{o}}hl, Maximilian A. and Schnitzer, Yannik and Schwenger, Maximilian},
     title = {RTLola on Board: Testing Real Driving Emissions on your Phone},
     booktitle = {{Tools and Algorithms for the Construction and Analysis of Systems}},
     series = {Lecture Notes in Computer Science},
     volume = {12652},
     pages = {365--372},
     publisher = {Springer},
     year = {2021},
   }