Calvin Chau

According to our database, Calvin Chau authored at least 13 papers between 2020 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

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

Christel Baier, Calvin Chau, Volodymyr Drobitko, Simon Jantsch, Sascha Klüppelholz

CoRR, August, 2025

Artefact for SEFM 2025.

Christel Baier, Calvin Chau, Volodymyr Drobitko, Simon Jantsch, Sascha Klüppelholz

Dataset, June, 2025

Certificates and Witnesses for Multi-Objective Queries in Markov Decision Processes - Artefact - PEVA.

Christel Baier, Calvin Chau, Sascha Klüppelholz

Dataset, March, 2025

Certificates and Witnesses for Multi-objective ømega-Regular Queries in Markov Decision Processes.

Christel Baier, Calvin Chau, Volodymyr Drobitko, Simon Jantsch, Sascha Klüppelholz

Proceedings of the Software Engineering and Formal Methods - 23rd International Conference, 2025

2024

Certificates and Witnesses for Multi-Objective Queries in Markov Decision Processes - Artefact - PEVA.

Christel Baier, Calvin Chau, Sascha Klüppelholz

Dataset, October, 2024

Certificates and Witnesses for Multi-Objective Queries in Markov Decision Processes - Artefact - PEVA.

Christel Baier, Calvin Chau, Sascha Klüppelholz

Dataset, October, 2024

Certificates and Witnesses for Multi-Objective Queries in Markov Decision Processes - Artefact - PEVA.

Christel Baier, Calvin Chau, Sascha Klüppelholz

Dataset, October, 2024

Certificates and Witnesses for Multi-Objective Queries in Markov Decision Processes - QEST 2024 Artefact.

Christel Baier, Calvin Chau, Sascha Klüppelholz

Dataset, June, 2024

Certificates and Witnesses for Multi-Objective Queries in Markov Decision Processes - QEST 2024 Artefact.

Christel Baier, Calvin Chau, Sascha Klüppelholz

Dataset, April, 2024

Certificates and Witnesses for Multi-Objective Queries in Markov Decision Processes - QEST 2024 Artefact.

Christel Baier, Calvin Chau, Sascha Klüppelholz

Dataset, April, 2024

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

Christel Baier, Calvin Chau, Sascha Klüppelholz

Proceedings of the Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems, 2024

2023

Syntactic vs Semantic Linear Abstraction and Refinement of Neural Networks.

Calvin Chau, Jan Kretínský, Stefanie Mohr

Proceedings of the Automated Technology for Verification and Analysis, 2023

2020

SeQuaiA: A Scalable Tool for Semi-Quantitative Analysis of Chemical Reaction Networks.

Milan Ceska, Calvin Chau, Jan Kretínský

Proceedings of the Computer Aided Verification - 32nd International Conference, 2020