by Bollig, Benedikt, Lehaut, Mathieu, Sznajder, Nathalie
Published in Formal methods in system design (2024)

by Bollig, Benedikt, Lehaut, Mathieu, Sznajder, Nathalie
Published in Automated Technology for Verification and Analysis

by Grange, Julien, Lehaut, Mathieu
Year of Publication 22.04.2024

by Grange, Julien, Lehaut, Mathieu
Year of Publication 10.07.2023

by Lehaut, Mathieu, Piterman, Nir
Year of Publication 02.05.2023

by Hausmann, Daniel, Lehaut, Mathieu, Piterman, Nir
Year of Publication 20.08.2024

by Grange, Julien, Lehaut, Mathieu
Published in arXiv.org (22.04.2024)

by Hausmann, Daniel, Lehaut, Mathieu, Pitermann, Nir
Year of Publication 04.05.2023

by Grange, Julien, Lehaut, Mathieu
Published in arXiv.org (10.07.2023)

by Lehaut, Mathieu, Piterman, Nir
Published in arXiv.org (02.05.2023)

by Hausmann, Daniel, Lehaut, Mathieu, Piterman, Nir
Published in arXiv.org (20.08.2024)

by Hausmann, Daniel, Lehaut, Mathieu, Pitermann, Nir
Published in arXiv.org (25.10.2023)

by Bérard, Béatrice, Bollig, Benedikt, Lehaut, Mathieu, Sznajder, Nathalie
Year of Publication 31.10.2019

by Bérard, Béatrice, Bollig, Benedikt, Lehaut, Mathieu, Sznajder, Nathalie
Published in arXiv.org (31.10.2019)