Invited talk on Revisiting Parameter Synthesis for One-Counter Automata at Max Planck Institue for Software Systems, Germany.
@incollection{invited_mpi,
publisher = {Invited talk on Revisiting Parameter Synthesis for One-Counter Automata at Max Planck Institue for Software Systems, Germany},
video = {mpi_talk.mp4},
slides = {mpi_slides.pdf},
keywords = {invited}
}
Invited talk on Weighted Automata (with Ambiguity and Extensions) at Formal Methods and Verification Seminar - Université libre de Bruxelles.
@incollection{invited_ulb,
publisher = {Invited talk on Weighted Automata (with Ambiguity and Extensions) at Formal Methods and Verification Seminar - Université libre de Bruxelles},
slides = {wa.pdf},
keywords = {invited}
}
Talk on Software Verification via Logic for Bachelors and Masters students at University of Antwerp, Belgium.
@incollection{invited_UA,
publisher = {Talk on Software Verification via Logic for Bachelors and Masters students at University of Antwerp, Belgium},
slides = {UA_presentation.pdf},
keywords = {invited}
}
Regular talks
Talk on Reachability Games with Relaxed Energy Constraints.
@incollection{CSS_talk,
publisher = {Talk on Reachability Games with Relaxed Energy Constraints},
slides = {../CSS_talk/index.html},
keywords = {regular}
}
Talk on Learning Fragments in Linear Temporal Logic in HIGHLIGHTS 2022.
@incollection{regular_highlights,
publisher = {Talk on Learning Fragments in Linear Temporal Logic in HIGHLIGHTS 2022},
video = {highlights_talk.mp4},
slides = {highlights_slides.pdf},
keywords = {regular}
}