|
|
2023 |
|
|
|
| 2023/09/19 |
Computing the PoA in atomic network congestion games |
|
FORMATS'23 (Antwerp, Belgium) |
| 2023/09/11 |
History-deterministic automata |
|
Sumo seminar (Ploërmel, France) |
|
|
2022 |
|
|
|
| 2022/08/05 |
Temporal logics with forgettable past |
|
LICS'22 test-of-time award (Haifa, Israel) |
|
|
2021 |
|
|
|
| 2021/06/15 |
Synchronizing automata with LTL constraints |
|
Sumo seminar (Dinard, France) |
|
|
2019 |
|
|
|
| 2019/09/02 |
A quantitative semantics for Strategy Logic |
|
GandALF'19 (Bordeaux, France) |
| 2019/04/15 |
Quantitative Temporal Logics for Multi-Agent Systems |
|
SUMO team meeting (Rennes, France) |
|
|
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) |
| 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) |
| 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) |
| 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) |
|
|
2014 |
|
|
|
| 2014/11/28 |
Robustness issues in timed models |
|
SASEFOR days (Gif-sur-Yvette, France) |
| 2014/04/12 |
Robustness issues in timed models |
|
QAPL'14 (Grenoble, France) |
| 2014/04/16 |
Temporal logics for multi-agent systems |
|
FAC'14 (Toulouse, France) |
| 2014/12/15 |
Synchronizing words for weighted timed automata |
|
FSTTCS'14 (New Delhi, India) |
|
|
2013 |
|
|
|
| 2013/01/21 |
Temporal logics for multi-agent systems |
|
GDR IM national days (Lyon, France) |
| 2013/02/08 |
Robust verification of timed systems |
|
Digicosme Industrial Days (Saclay, France) |
| 2013/10/28 |
Quantified CTL |
|
NPdC-BE congress of mathematics (Valenciennes, France) |
| 2013/09/22 |
Satisfiability of ATL with strategy contexts |
|
Highlights'13 (Paris, France) |
