Reachability in Two-Parametric Timed Automata with One Parameter Is EXPSPACE-Complete

Mathieu HILAIRE

2024-02-13 10:00:00, #SéminaireLoVe
Salle B107, bâtiment B, Université de Villetaneuse [BBB: https://bbb.lipn.univ-paris13.fr/b/ari-uht-t3u]