(2) Universit\'e Sorbonne Paris Nord CNRS

Identifiers

• name variant (2) Universit\'e Sorbonne Paris Nord CNRS 0.60 · backfill

Papers (1)

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

Mentions

• 2606.21516 #6 · arxiv_oai · confidence 0.70 (2) Universit\'e Sorbonne Paris Nord CNRS

Frequent Coauthors

• Aarhus 1 shared papers
• Denmark 1 shared papers
• France) 1 shared papers
• Jaco van de Pol (1) ((1) Aarhus University 1 shared papers
• Laure Petrucci (2) 1 shared papers
• Mikael Bisgaard Dahlsen-Jensen (1) 1 shared papers
• Villetaneuse 1 shared papers