• Calvin Chau
  • Publications
  • Teaching
  • CV

Publications

Authors ordered alphabetically

Journal Publications

Certificates and Witnesses for Multi-objective Queries in Markov Decision Processes

2025
Christel Baier, Calvin Chau, and Sascha Klüppelholz
Performance Evaluation Paper

Conference Publications

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

Talks

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)