Talks

2025

• PAYNT - Extending Storm Significantly for Synthesis @ Storm-Days 2025
  
• Policies Grow on Trees: Model Checking Families of MDPs @ ROCKS Workshop 2025
  
• PAYNT: A Framework for Controller Synthesis Under Uncertainty @ VeriProp 2025
  
• Small Decision Trees for MDPs with Deductive Synthesis @ CAV’25
  
• Small Decision Trees for MDPs with Deductive Synthesis @ RV’25 VASSAL Workshop
  

2024

• Policies Grow on Trees: Model Checking Families of MDPs @ AVM’24
  
• Policies Grow on Trees: Model Checking Families of MDPs @ ATVA’24
  

2023

• Search and Explore: Symbiotic Policy Synthesis in POMDPs @ Excel@FIT 2023
  
• Search and Explore: Symbiotic Policy Synthesis in POMDPs @ AVM’23
  
• Improving Synthesis of Finite State Controllers for POMDPs Using Belief Space Approximation @ IT SPY 2023