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}
}