Authors ordered alphabetically
Certificates and Witnesses for Multi-objective Queries in Markov Decision Processes |
2025 |
| Christel Baier, Calvin Chau, and Sascha Klüppelholz | |
| Performance Evaluation Paper | |
Certificates and Witnesses for Multi-objective ω-regular Queries in Markov Decision Processes |
2025 |
| Christel Baier, Calvin Chau, Volodymyr Drobitko, Simon Jantsch, and Sascha Klüppelholz | |
| SEFM arXiv Artefact | |
Certificates and Witnesses for Multi-objective Queries in Markov Decision Processes |
2024 |
| Christel Baier, Calvin Chau, and Sascha Klüppelholz | |
| Outstanding Artifact Award·Invited to Special Issue | |
| QEST+FORMATS Paper arXiv Artefact | |
Syntactic vs Semantic Linear Abstraction and Refinement of Neural Networks |
2023 |
| Calvin Chau, Stefanie Mohr, and Jan Křetínský | |
| ATVA Paper arXiv GitHub | |
SeQuaiA: A Scalable Tool for Semi-Quantitative Analysis of Chemical Reaction Networks |
2020 |
| Milan Češka, Calvin Chau, and Jan Křetínský | |
| CAV Paper Preprint Website | |
Certificates and Witnesses for Multi-objective Queries in Markov Decision Processes |
2024 |
| CONFEST, Calgary, Canada | |
Certificates for Multi-Objective Queries in Markov Decision Processes |
2023 |
| ROCKS, Saarbrücken, Germany | |
Semantic Abstraction of Neural Networks |
2023 |
| LiVe @ ETAPS, Paris, France | |
SeQuaiA: Semi-Quantitative Analysis of Chemical Reaction Networks |
2020 |
| Poster Session @ CMSB, Konstanz, Germany (Online) | |
SeQuaiA: A Scalable Tool for Semi-Quantitative Analysis of Chemical Reaction Networks |
2020 |
| CAV, Los Angeles, USA (Online) | |