2018
2018/11/11 Efficient timed diagnosis using automata on timed domains
RV'18 (Limassol, Cyprus)
2018/03/03 Dependences in Strategy Logic
STACS'18 (Caen, France)
2018/02/01 Variations on the semantics of Strategy Logic
68NQRT Seminar (Rennes, France)
2017
2017/08/23 Temporal logics for multi-agent systems
MFCS'17 (Aalborg, Denmark) — Invited talk
2017/06/29 Energy Games
Robolog'17 Workshop (Rennes, France)
2017/01/27 Average-Energy Games
SUMO team meeting (Rennes, France)
2017/01/18 Networks of Register Protocols under Stochastic Schedulers
WG 'parameterized verification' (Rennes, France)
2016
2016/04/28 Optimal strategies in weighted timed games
WATA'16 (Aalborg, Denmark) — Invited talk
2016/01/29 Temporal logics for multi-agent systems
CFV Seminar (Brussels, Belgium)
2015
2015/12/19 Optimal strategies in weighted timed games
Averts'15 (Bangaluru, India) — Invited talk
2015/11/09 ATL with strategy contexts
LACL seminar (Créteil, France)
2015/10/01 Optimal strategies in weighted timed games
68NQRT Seminar (Rennes, France)
2015/09/22 Average-energy games
GandALF'15 (Genova, Italy)
2015/08/10 Temporal logics for multi-agent systems
ESSLLI summer school (Barcelona, Spain)
2015/06/15 Weighted timed automata and games
'WG Verif.' days (Créteil, France) — Invited talk
2014
2014/11/28 Robustness issues in timed models
SASEFOR days (Gif-sur-Yvette, France)