Laure Petrucci
Scholar

Laure Petrucci

Google Scholar ID: OKhq1zgAAAAJ
LIPN, CNRS UMR 7030, Université Paris 13
Google Scholar↗
Citations & Impact
All-time
Citations
805
 
H-index
15
 
i10-index
25
 
Publications
20
 
Co-authors
8
list available
Contact
No contact links provided.
Publications
4 items
Towards Probabilistic Strategic Timed CTL
2026
Cited
0
IMITATOR4AMAS: Strategy Synthesis for STCTL
2026
Cited
0
Controller Synthesis for Parametric Timed Games
2025
Cited
0
Practical Abstractions for Model Checking Continuous-Time Multi-Agent Systems
2025
Cited
0
Resume (English only)
Co-authors
8 total
Co-author 1
Co-author 1
Étienne André
Étienne André
Université Paris 13, LIPN, CNRS, UMR 7030, F-93430, Villetaneuse, France
Alain Finkel
Alain Finkel
LMF ENS Paris Saclay
Co-author 4
Co-author 4
Soren Christensen
Soren Christensen
Aarhus University
Co-author 6
Co-author 6
Co-author 7
Co-author 7
Co-author 8
Co-author 8