- A Game of Pawns
@ IARCS Verification Seminar Series (November 2022)
- Strategy synthesis for global window PCTL
@TU Munich, The Hebrew University of Jerusalem, and VardiFest (July 2022)
- PAC statistical model-checking of MDPs and CTMDPs
@ENS Paris-Saclay (June 2022), Highlights of logic, games, and automata (July 2022)
- A Bit of Nondeterminism Makes Pushdown Automata Expressive and Succinct
@MFCS 21
- Mean-payoff Adversarial Stackelberg Games
@FM Update Meet 2021
- Verification, synthesis, and a bit of nondeterminism
@STCS Day 2021