 |
|
|
|
| HAL : hal-00360122, version 2 |
| Fiche détaillée |  Récupérer au format |
|
|
| ICALP'09, Grèce (2009) |
|
|
| Versions disponibles : | v1 (10-02-2009) | v2 (19-02-2009) |
|
|
|
|
| Weak Alternating Timed Automata |
|
|
| Pawel Parys 1Igor Walukiewicz 2 |
|
|
| (2009) |
|
|
|
| Alternating timed automata on infinite words are considered. The main result is the characterization of acceptance conditions for which the emptiness problem for the automata is decidable. This result implies new decidability results for fragments of timed temporal logics. It is also shown that, unlike for MITL, the characterisation remains the same even if no punctual constrains are allowed. |
|
|
|
|
|
|
|
|
|
|
|
| 1 : | Institute of Informatics |
|
|
|
Warsaw Univerity |
|
|
| 2 : | Laboratoire Bordelais de Recherche en Informatique (LaBRI) |
|
|
|
CNRS : UMR5800 – Université Sciences et Technologies - Bordeaux I – Ecole Nationale Supérieure d'Electronique, Informatique et Radiocommunications de Bordeaux – Université Victor Segalen - Bordeaux II |
|
|
|
|
|
|
|
|
|
| Domaine | : | Informatique/Logique en informatique |
|
|
| Real-time – Alternating Timed Automata – temporal logics |
|
|
|
| Liste des fichiers attachés à ce document : | |||||
|
|||||
|
|
|
| hal-00360122, version 2 | |
| http://hal.archives-ouvertes.fr/hal-00360122/fr/ | |
| oai:hal.archives-ouvertes.fr:hal-00360122 | |
| Contributeur : Igor Walukiewicz | |
| Soumis le : Jeudi 19 Février 2009, 12:27:07 | |
| Dernière modification le : Vendredi 17 Juillet 2009, 10:49:18 | |
