Jaco van de Pol (1) ((1) Aarhus University

Identifiers

• name variant Jaco van de Pol (1) ((1) Aarhus University 0.60 · backfill

Papers (1)

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

Mentions

• 2606.21516 #3 · arxiv_oai · confidence 0.70 Jaco van de Pol (1) ((1) Aarhus University

Frequent Coauthors

• (2) Universit\'e Sorbonne Paris Nord CNRS 1 shared papers
• Aarhus 1 shared papers
• Denmark 1 shared papers
• France) 1 shared papers
• Laure Petrucci (2) 1 shared papers
• Mikael Bisgaard Dahlsen-Jensen (1) 1 shared papers
• Villetaneuse 1 shared papers