LEHAUT Mathieu

PhD student
Team : MoVe
Arrival date : 09/01/2017
Localisation : Campus Pierre et Marie Curie

Sorbonne Université - LIP6

Tel: +33 1 44 27 31 92, Mathieu.Lehaut (at) nulllip6.fr

Supervision : Béatrice BÉRARD
Co-supervision : SZNAJDER Nathalie, Benedikt Bollig (LSV, ENS Paris Saclay)

Synthesis of Parameterized Systems

Conference papers

2018
- B. Bollig, M. Lehaut, N. Sznajder : “Round-Bounded Control of Parameterized Systems”, 16^th International Symposium on Automated Technology for Verification and Analysis (ATVA 2018), Los Angeles, California, USA (2018)