Peer-reviewed papers

2026

1. ICML

   Probabilistic Performance Guarantees for Multi-Task Reinforcement Learning

   Yannik Schnitzer, Mathias Jackermeier, Alessandro Abate, and David Parker

   In International Conference on Machine Learning , 2026

   To Appear

   arXiv Bib

   @inproceedings{schnitzer2026probabilistic,
     author = {Schnitzer, Yannik and Jackermeier, Mathias and Abate, Alessandro and Parker, David},
     title = {Probabilistic Performance Guarantees for Multi-Task Reinforcement
                       Learning},
     booktitle = {{International Conference on Machine Learning}},
     year = {2026},
     note = {To Appear},
   }

2. AAAI

   Efficient Solution and Learning of Robust Factored MDPs

   Yannik Schnitzer, Alessandro Abate, and David Parker

   In AAAI Conference on Artificial Intelligence , 2026

   arXiv Bib

   @inproceedings{DBLP:journals/corr/abs-2508-00707,
     author = {Schnitzer, Yannik and Abate, Alessandro and Parker, David},
     title = {Efficient Solution and Learning of Robust Factored MDPs},
     booktitle = {{AAAI Conference on Artificial Intelligence}},
     year = {2026}
   }

2025

1. CAV

   Branching Bisimulation Learning

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

   In Computer Aided Verification , 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}},
     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 , 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},
   }

Preprints

2026

1. arXiv

   Multi-Property Synthesis

   Christoph Weinhuber, Yannik Schnitzer, Alessandro Abate, David Parker, Giuseppe De Giacomo, and Moshe Y. Vardi

   CoRR, 2026

   arXiv Bib

   @article{weinhuber2026multi,
     author = {Weinhuber, Christoph and Schnitzer, Yannik and Abate, Alessandro and Parker, David and Giacomo, Giuseppe De and Vardi, Moshe Y.},
     title = {Multi-Property Synthesis},
     journal = {CoRR},
     volume = {abs/2601.10651},
     year = {2026},
   }

2025

1. arXiv

   Existence and Synthesis of Multi-Resolution Approximate Bisimulations for Continuous-State Dynamical Systems

   Rudi Coppola, Yannik Schnitzer, Mirco Giacobbe, Alessandro Abate, and Manuel Mazo Jr.

   CoRR, 2025

   arXiv Bib

   @article{coppola2025existence,
     author = {Coppola, Rudi and Schnitzer, Yannik and Giacobbe, Mirco and Abate, Alessandro and Jr., Manuel Mazo},
     title = {Existence and Synthesis of Multi-Resolution Approximate Bisimulations
                       for Continuous-State Dynamical Systems},
     journal = {CoRR},
     volume = {abs/2509.17739},
     year = {2025},
   }