Ouvrages édités à titre de seul éditeur ou en collaboration (1)
Parties d'ouvrages collectifs (7)
Articles dans des revues avec comité de lecture (166)
4.
Filiot, E., Mazzocchi, N., Raskin, J.-F., Sankaranarayanan, S., & Trivedi, A. (2020). Weighted transducers for robustness verification. Leibniz international proceedings in informatics, 171, 17, 171-1721. doi:10.4230/LIPIcs.CONCUR.2020.17