Activities
PAYNT
- Open-source tool for constrained policy synthesis in Markov models
- Available on GitHub and PyPI
- Also check out SMPMC a tool that combines SMT solver and probabilistic model checking to solve constrained and robust synthesis problems in Markov models
Projects
- List of research projects I have been a part of:
- VASSAL: Verification and Analysis for Safety and Security of Applications in Life. Horizon Europe project.
- VESCAA: Verifiable and Efficient Synthesis of Agent Controllers. Czech Science Foundation (GAČR) project.
- CAQTUS: Computer-Aided Quantitative Synthesis. Czech Science Foundation (GAČR) project.
Academic Service
- Artifact Evaluation PC member
- CAV’24, CAV’25, CAV’26
- TACAS’25, TACAS’26
- External Reviewer
- TACAS’26
- FM’24, FM’26
- SV-COMP’24
- Volunteer
Talks
Attended Events
- Conferences:
- Workshops:
- AI-FM Workshop Christmas 2025, Storm-Days 2025, VeriProp Workshop 2025, RV’25 VASSAL Workshop, ROCKS Workshop 2025
- Others:
- AVM’22, AVM’23, AVM’24, Excel@FIT 2023