publications

2025

1. CAV

   Branching Bisimulation Learning

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

   In CAV (To Appear) , 2025

   arXiv Bib

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

2. TACAS

   Certifiably Robust Policies for Uncertain Parametric Environments

   Yannik Schnitzer, Alessandro Abate, and David Parker

   In TACAS , 2025

   arXiv Bib

   @inproceedings{schnitzer2025,
     author = {Schnitzer, Yannik and Abate, Alessandro and Parker, David},
     title = {Certifiably Robust Policies for Uncertain Parametric Environments},
     booktitle = {{TACAS}},
     year = {2025},
   }

2024

1. CAV

   Bisimulation Learning

   Alessandro Abate, Mirco Giacobbe, and Yannik Schnitzer

   In CAV , 2024

   arXiv Bib

   @inproceedings{abate2024bisimulation,
     author = {Abate, Alessandro and Giacobbe, Mirco and Schnitzer, Yannik},
     title = {Bisimulation Learning},
     booktitle = {{CAV}},
     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 TACAS , 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 = {{TACAS}},
     series = {Lecture Notes in Computer Science},
     volume = {12652},
     pages = {365--372},
     publisher = {Springer},
     year = {2021},
   }