Authors ordered alphabetically
Certificates and Witnesses for Multi-Objective Queries in Markov Decision Processes |
2024 |
Christel Baier, Calvin Chau, and Sascha Klüppelholz | |
Paper arXiv Artefact QEST+FORMATS |
Syntactic vs Semantic Linear Abstraction and Refinement of Neural Networks |
2023 |
Calvin Chau, Stefanie Mohr, and Jan Křetínský | |
Paper arXiv GitHub ATVA |
SeQuaiA: A Scalable Tool for Semi-Quantitative Analysis of Chemical Reaction Networks |
2020 |
Milan Češka, Calvin Chau, and Jan Křetínský | |
Paper Preprint Website CAV |
Certificates for Multi-Objective Queries in Markov Decision Processes |
2023 |
ROCKS, Saarbrücken |
Semantic Abstraction of Neural Networks |
2023 |
LiVe @ ETAPS, Paris |