Laure Petrucci (2)

Identifiers

• name variant Laure Petrucci (2) 0.60 · backfill

Papers (1)

1. State-Space Abstractions for Parametric Timed Games cs.FL · 2026 · author #2

Mentions

• 2606.21516 #2 · arxiv_oai · confidence 0.70 Laure Petrucci (2)

Frequent Coauthors

• (2) Universit\'e Sorbonne Paris Nord CNRS 1 shared papers
• Aarhus 1 shared papers
• Denmark 1 shared papers
• France) 1 shared papers
• Jaco van de Pol (1) ((1) Aarhus University 1 shared papers
• Mikael Bisgaard Dahlsen-Jensen (1) 1 shared papers
• Villetaneuse 1 shared papers