Synthesis of optimal strategies using HyTeCH

Patricia Bouyer; Franck Cassez; Emmanuel Fleury; Kim G. Larsen

doi:10.1016/j.entcs.2004.07.006

Synthesis of optimal strategies using HyTeCH

Patricia Bouyer, Franck Cassez, Emmanuel Fleury, Kim G. Larsen

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

13 Citations (Scopus)

Abstract

Priced timed (game) automata extend timed (game) automata with costs on both locations and transitions. The problem of synthesizing an optimal winning strategy for a priced timed game under some hypotheses has been shown decidable in [P. Bouyer, F. Cassez, E. Fleury, and K.G. Larsen. Optimal strategies in priced timed game automata. Research Report BRICS RS-04-4, Denmark, Feb. 2004. Available at http://www.brics.dk/RS/04/4/]. In this paper, we present an algorithm for computing the optimal cost and for synthesizing an optimal strategy in case there exists one. We also describe the implementation of this algorithm with the tool HyTech and present an example.

Original language	English
Title of host publication	Proceedings of the Workshop on Games in Design and Verification (GDV 2004)
Subtitle of host publication	18 June 2004, Boston, MA, USA
Editors	L. de Alfaro
Place of Publication	Dordrecht
Publisher	Elsevier
Pages	11-31
DOIs	https://doi.org/10.1016/j.entcs.2004.07.006
Publication status	Published - 2005
Externally published	Yes
Event	Workshop on Games in Design and Verification, GDV 2004 - Boston, United States Duration: 18 Jun 2004 → 18 Jun 2004

Publication series

Name	Electronic Notes in Theoretical Computer Science
Publisher	Elsevier
Number	1
Volume	119
ISSN (Print)	1571-0661

Workshop

Workshop	Workshop on Games in Design and Verification, GDV 2004
Abbreviated title	GDV
Country/Territory	United States
City	Boston
Period	18/06/04 → 18/06/04

Access to Document

10.1016/j.entcs.2004.07.006Licence: CC BY-NC-ND

ArticleFinal published version, 5.73 MBLicence: CC BY-NC-ND

Cite this

Bouyer, P., Cassez, F., Fleury, E., & Larsen, K. G. (2005). Synthesis of optimal strategies using HyTeCH. In L. de Alfaro (Ed.), Proceedings of the Workshop on Games in Design and Verification (GDV 2004): 18 June 2004, Boston, MA, USA (pp. 11-31). (Electronic Notes in Theoretical Computer Science; Vol. 119, No. 1). Elsevier. https://doi.org/10.1016/j.entcs.2004.07.006

@inproceedings{af1f00d5af7c44a384d4165f4818f7dc,

title = "Synthesis of optimal strategies using HyTeCH",

abstract = "Priced timed (game) automata extend timed (game) automata with costs on both locations and transitions. The problem of synthesizing an optimal winning strategy for a priced timed game under some hypotheses has been shown decidable in [P. Bouyer, F. Cassez, E. Fleury, and K.G. Larsen. Optimal strategies in priced timed game automata. Research Report BRICS RS-04-4, Denmark, Feb. 2004. Available at http://www.brics.dk/RS/04/4/]. In this paper, we present an algorithm for computing the optimal cost and for synthesizing an optimal strategy in case there exists one. We also describe the implementation of this algorithm with the tool HyTech and present an example.",

author = "Patricia Bouyer and Franck Cassez and Emmanuel Fleury and Larsen, {Kim G.}",

year = "2005",

doi = "10.1016/j.entcs.2004.07.006",

language = "English",

series = "Electronic Notes in Theoretical Computer Science",

publisher = "Elsevier",

number = "1",

pages = "11--31",

editor = "{de Alfaro}, L.",

booktitle = "Proceedings of the Workshop on Games in Design and Verification (GDV 2004)",

note = "Workshop on Games in Design and Verification, GDV 2004, GDV ; Conference date: 18-06-2004 Through 18-06-2004",

}

Bouyer, P, Cassez, F, Fleury, E & Larsen, KG 2005, Synthesis of optimal strategies using HyTeCH. in L de Alfaro (ed.), Proceedings of the Workshop on Games in Design and Verification (GDV 2004): 18 June 2004, Boston, MA, USA. Electronic Notes in Theoretical Computer Science, no. 1, vol. 119, Elsevier, Dordrecht, pp. 11-31, Workshop on Games in Design and Verification, GDV 2004, Boston, Massachusetts, United States, 18/06/04. https://doi.org/10.1016/j.entcs.2004.07.006

Synthesis of optimal strategies using HyTeCH. / Bouyer, Patricia; Cassez, Franck; Fleury, Emmanuel et al.

Proceedings of the Workshop on Games in Design and Verification (GDV 2004): 18 June 2004, Boston, MA, USA. ed. / L. de Alfaro. Dordrecht : Elsevier, 2005. p. 11-31 (Electronic Notes in Theoretical Computer Science; Vol. 119, No. 1).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - Synthesis of optimal strategies using HyTeCH

AU - Bouyer, Patricia

AU - Cassez, Franck

AU - Fleury, Emmanuel

AU - Larsen, Kim G.

PY - 2005

Y1 - 2005

N2 - Priced timed (game) automata extend timed (game) automata with costs on both locations and transitions. The problem of synthesizing an optimal winning strategy for a priced timed game under some hypotheses has been shown decidable in [P. Bouyer, F. Cassez, E. Fleury, and K.G. Larsen. Optimal strategies in priced timed game automata. Research Report BRICS RS-04-4, Denmark, Feb. 2004. Available at http://www.brics.dk/RS/04/4/]. In this paper, we present an algorithm for computing the optimal cost and for synthesizing an optimal strategy in case there exists one. We also describe the implementation of this algorithm with the tool HyTech and present an example.

AB - Priced timed (game) automata extend timed (game) automata with costs on both locations and transitions. The problem of synthesizing an optimal winning strategy for a priced timed game under some hypotheses has been shown decidable in [P. Bouyer, F. Cassez, E. Fleury, and K.G. Larsen. Optimal strategies in priced timed game automata. Research Report BRICS RS-04-4, Denmark, Feb. 2004. Available at http://www.brics.dk/RS/04/4/]. In this paper, we present an algorithm for computing the optimal cost and for synthesizing an optimal strategy in case there exists one. We also describe the implementation of this algorithm with the tool HyTech and present an example.

U2 - 10.1016/j.entcs.2004.07.006

DO - 10.1016/j.entcs.2004.07.006

M3 - Conference contribution

T3 - Electronic Notes in Theoretical Computer Science

SP - 11

EP - 31

BT - Proceedings of the Workshop on Games in Design and Verification (GDV 2004)

A2 - de Alfaro, L.

PB - Elsevier

CY - Dordrecht

T2 - Workshop on Games in Design and Verification, GDV 2004

Y2 - 18 June 2004 through 18 June 2004

ER -

Synthesis of optimal strategies using HyTeCH

Abstract

Publication series

Workshop

Access to Document

Fingerprint

Cite this