Author manuscript, published in "Nordic Workshop on Programming Theory (NWPT'06), Reykjavik: Islande (2006)" Uppaal-Tiga: Timed Games for Everyone
Abstract. In 2005 we proposed the first efficient on-the-fly algorithm for solving games based on timed game automata with respect to reachability and safety properties. Since then we have completely re-implemented the first prototype and made dramatic improvements both in terms of performance (seve...
| Main Authors: | , , , , , |
|---|---|
| Other Authors: | |
| Format: | Text |
| Language: | English |
| Published: |
2009
|
| Subjects: | |
| Online Access: | http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.405.3127 http://hal.archives-ouvertes.fr/docs/00/35/04/70/PDF/BCDFLL-nwpt06.pdf |
| _version_ | 1821562171450982400 |
|---|---|
| author | Gerd Behrmann Agnès Cougnard Re David Emmanuel Fleury Kim G. Larsen Didier Lime |
| author2 | The Pennsylvania State University CiteSeerX Archives |
| author_facet | Gerd Behrmann Agnès Cougnard Re David Emmanuel Fleury Kim G. Larsen Didier Lime |
| author_sort | Gerd Behrmann |
| collection | Unknown |
| description | Abstract. In 2005 we proposed the first efficient on-the-fly algorithm for solving games based on timed game automata with respect to reachability and safety properties. Since then we have completely re-implemented the first prototype and made dramatic improvements both in terms of performance (several orders of magnitude) and the input language (complete support of all the language features of Uppaal). In addition, the tool supports the new feature of strategy generation with different compactness levels. In this paper we present this new version of Uppaal-Tiga. 1 |
| format | Text |
| genre | Islande |
| genre_facet | Islande |
| id | ftciteseerx:oai:CiteSeerX.psu:10.1.1.405.3127 |
| institution | Open Polar |
| language | English |
| op_collection_id | ftciteseerx |
| op_relation | http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.405.3127 http://hal.archives-ouvertes.fr/docs/00/35/04/70/PDF/BCDFLL-nwpt06.pdf |
| op_rights | Metadata may be used without restrictions as long as the oai identifier remains attached to it. |
| op_source | http://hal.archives-ouvertes.fr/docs/00/35/04/70/PDF/BCDFLL-nwpt06.pdf |
| publishDate | 2009 |
| record_format | openpolar |
| spelling | ftciteseerx:oai:CiteSeerX.psu:10.1.1.405.3127 2025-01-16T22:45:23+00:00 Author manuscript, published in "Nordic Workshop on Programming Theory (NWPT'06), Reykjavik: Islande (2006)" Uppaal-Tiga: Timed Games for Everyone Gerd Behrmann Agnès Cougnard Re David Emmanuel Fleury Kim G. Larsen Didier Lime The Pennsylvania State University CiteSeerX Archives 2009 application/pdf http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.405.3127 http://hal.archives-ouvertes.fr/docs/00/35/04/70/PDF/BCDFLL-nwpt06.pdf en eng http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.405.3127 http://hal.archives-ouvertes.fr/docs/00/35/04/70/PDF/BCDFLL-nwpt06.pdf Metadata may be used without restrictions as long as the oai identifier remains attached to it. http://hal.archives-ouvertes.fr/docs/00/35/04/70/PDF/BCDFLL-nwpt06.pdf text 2009 ftciteseerx 2022-07-10T00:27:19Z Abstract. In 2005 we proposed the first efficient on-the-fly algorithm for solving games based on timed game automata with respect to reachability and safety properties. Since then we have completely re-implemented the first prototype and made dramatic improvements both in terms of performance (several orders of magnitude) and the input language (complete support of all the language features of Uppaal). In addition, the tool supports the new feature of strategy generation with different compactness levels. In this paper we present this new version of Uppaal-Tiga. 1 Text Islande Unknown |
| spellingShingle | Gerd Behrmann Agnès Cougnard Re David Emmanuel Fleury Kim G. Larsen Didier Lime Author manuscript, published in "Nordic Workshop on Programming Theory (NWPT'06), Reykjavik: Islande (2006)" Uppaal-Tiga: Timed Games for Everyone |
| title | Author manuscript, published in "Nordic Workshop on Programming Theory (NWPT'06), Reykjavik: Islande (2006)" Uppaal-Tiga: Timed Games for Everyone |
| title_full | Author manuscript, published in "Nordic Workshop on Programming Theory (NWPT'06), Reykjavik: Islande (2006)" Uppaal-Tiga: Timed Games for Everyone |
| title_fullStr | Author manuscript, published in "Nordic Workshop on Programming Theory (NWPT'06), Reykjavik: Islande (2006)" Uppaal-Tiga: Timed Games for Everyone |
| title_full_unstemmed | Author manuscript, published in "Nordic Workshop on Programming Theory (NWPT'06), Reykjavik: Islande (2006)" Uppaal-Tiga: Timed Games for Everyone |
| title_short | Author manuscript, published in "Nordic Workshop on Programming Theory (NWPT'06), Reykjavik: Islande (2006)" Uppaal-Tiga: Timed Games for Everyone |
| title_sort | author manuscript, published in "nordic workshop on programming theory (nwpt'06), reykjavik: islande (2006)" uppaal-tiga: timed games for everyone |
| url | http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.405.3127 http://hal.archives-ouvertes.fr/docs/00/35/04/70/PDF/BCDFLL-nwpt06.pdf |