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; .