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
  • CAV’25

Talks

• Click here to see the list of my talks

Attended Events

• Conferences:
  • AAAI’26, CAV’25, ATVA’24
• 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