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

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

Certificates and Witnesses for Multi-objective Queries in Markov Decision Processes.
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.
Proceedings of the Automated Technology for Verification and Analysis, 2023

2020
SeQuaiA: A Scalable Tool for Semi-Quantitative Analysis of Chemical Reaction Networks.
Proceedings of the Computer Aided Verification - 32nd International Conference, 2020