Calvin Chau

From International Center for Computational Logic

Calvin Chau

PhD ResearcherTechnische Universität DresdenInternational Center for Computational Logic Algebraic and Logical Foundations of Computer Science

Newest Publications

View full publication list

Christel Baier, Calvin Chau, Sascha Klüppelholz
Certificates and Witnesses for Multi-objective Queries in Markov Decision Processes
In Jane Hillston and Sadegh Soudjani and Masaki Waga, eds., Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems - First International Joint Conference, QEST+FORMATS 2024, Calgary, AB, Canada, September 9-13, 2024, Proceedings, volume 14996 of Lecture Notes in Computer Science, 1--18, 2024. Springer
Details
Calvin Chau, Jan Křetínský, Stefanie Mohr
Syntactic vs Semantic Linear Abstraction and Refinement of Neural Networks
In André, Étienne and Sun, Jun, eds., Automated Technology for Verification and Analysis, 401--421, 2023. Springer Nature Switzerland
Details
View full publication list
Semeco-logo.png

SEMECO-Q1
Secure Medical Microsystems and Communications: Secure & Trustworthy System Architecture