Loriane Leclercq

According to our database, Loriane Leclercq authored at least 2 papers between 2023 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

QLTL Model-Checking.

François Laroussinie, Loriane Leclercq, Arnaud Sangnier

Proceedings of the 32nd EACSL Annual Conference on Computer Science Logic, 2024

2023

A State Class Based Controller Synthesis Approach for Time Petri Nets.

Loriane Leclercq, Didier Lime, Olivier H. Roux

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2023