Articles dans des revues avec comité de lecture (69)
11.
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.1712.
Dave, V., Filiot, E., Krishna, S. N., & Lhote, N. (2020). Synthesis of computable regular functions of infinite words. Leibniz international proceedings in informatics, 171, 43, 431-4317. doi:10.4230/LIPIcs.CONCUR.2020.43