View in EDS PDF Full Text

CONTROLLER SYNTHESIS FOR TIMELINE-BASED GAMES.

Saved in:
Bibliographic Details
Title: CONTROLLER SYNTHESIS FOR TIMELINE-BASED GAMES.
Authors: ACAMPORA, RENATO1, acampora.renato@spes.uniud.it, GEATTI, LUCA1, luca.geatti@uniud.it, GIGANTE, NICOLA2, nicola.gigante@unibz.it, MONTANARI, ANGELO1, angelo.montanari@uniud.it, PICOTTI, VALENTINO3, picotti@imada.sdu.dk
Source: Logical Methods in Computer Science (LMCS); 2024, Vol. 20 Issue 3, p17:1-17:30, 30p
Database: Applied Science & Technology Source
Description
ISSN:18605974
DOI:10.46298/LMCS-20(3:17)2024