DECIDABILITY OF ONE-CLOCK WEIGHTED TIMED GAMES WITH ARBITRARY WEIGHTS.
Saved in:
| Title: | DECIDABILITY OF ONE-CLOCK WEIGHTED TIMED GAMES WITH ARBITRARY WEIGHTS. |
|---|---|
| Authors: | MONMEGE, BENJAMIN1, benjamin.monmege@univ-amu.fr, PARREAUX, JULIE2, j.parreaux@uw.edu.pl, REYNIER, PIERRE-ALAIN1, pierre-alain.reynier@univ-amu.fr |
| Source: | Logical Methods in Computer Science (LMCS); 2025, Vol. 21 Issue 1, p1-45, 45p |
| Database: | Applied Science & Technology Source |
| ISSN: | 18605974 |
|---|---|
| DOI: | 10.46298/LMCS-21(18)2025 |
