Invited talks

  1. Invited talk on Revisiting Parameter Synthesis for One-Counter Automata at Max Planck Institue for Software Systems, Germany.
  2. Invited talk on Weighted Automata (with Ambiguity and Extensions) at Formal Methods and Verification Seminar - Université libre de Bruxelles.
  3. Talk on Software Verification via Logic for Bachelors and Masters students at University of Antwerp, Belgium.

Regular talks

  1. Talk on Reachability Games with Relaxed Energy Constraints.
  2. Talk on Learning Fragments in Linear Temporal Logic in HIGHLIGHTS 2022.