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...

Full description

Bibliographic Details
Main Authors: Gerd Behrmann, Agnès Cougnard, Re David, Emmanuel Fleury, Kim G. Larsen, Didier Lime
Other Authors: The Pennsylvania State University CiteSeerX Archives
Format: Text
Language:English
Published: 2009
Subjects:
Islande
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
id ftciteseerx:oai:CiteSeerX.psu:10.1.1.405.3127
record_format openpolar
spelling ftciteseerx:oai:CiteSeerX.psu:10.1.1.405.3127 2023-05-15T16:56:27+02: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
institution Open Polar
collection Unknown
op_collection_id ftciteseerx
language English
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
author2 The Pennsylvania State University CiteSeerX Archives
format Text
author Gerd Behrmann
Agnès Cougnard
Re David
Emmanuel Fleury
Kim G. Larsen
Didier Lime
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
author_facet Gerd Behrmann
Agnès Cougnard
Re David
Emmanuel Fleury
Kim G. Larsen
Didier Lime
author_sort Gerd Behrmann
title 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_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_sort author manuscript, published in "nordic workshop on programming theory (nwpt'06), reykjavik: islande (2006)" uppaal-tiga: timed games for everyone
publishDate 2009
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
genre Islande
genre_facet Islande
op_source http://hal.archives-ouvertes.fr/docs/00/35/04/70/PDF/BCDFLL-nwpt06.pdf
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.
_version_ 1766047711474221056

Similar Items