Talks

  1. Adaptive and Trustworthy Autonomy of Cyber-Physical Systems (invited)
    at College of Engineering and Applied Science, University of Colorado Boulder, USA
  2. Revisiting Parameter Synthesis for One-Counter Automata (invited)
    at OFCOURSE talk series - Max Planck Institute for Software Systems, Germany
  3. Learning Fragments in Linear Temporal Logic
    at HIGHLIGHTS 2022
  4. Software Verification via Logic (invited)
    at TCS Seminar at the University of Antwerp, Belgium (for Bachelors and Masters students)
  5. Reachability Games with Relaxed Energy Constraints
    at Max Planck Institute for Software Systems, Germany
  6. Weighted Automata (with Ambiguity and Extensions) (invited)
    at Formal Methods and Verification Seminar - Université libre de Bruxelles
Scroll down