Synthesis of optimal strategies using \textsc{HyTech}

MaRDI QIDQ2849560zbMATH OpenFDO

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

Publication date 20 September 2013

Full work available at URL http://www.sciencedirect.com/science/article/pii/S1571066104053320

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Games of timing (91A55)

Recommendations

• FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science
• On time with minimal expected cost!
• Almost Optimal Strategies in One Clock Priced Timed Games
• Formal Modeling and Analysis of Timed Systems
• scientific article; zbMATH DE number 1796156

Cited in

(4)

• On time with minimal expected cost!
• FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science
• Verification and performance evaluation of timed game strategies
• A Kleene-Schützenberger theorem for weighted timed automata

Describes a project that uses

Uses Software

• HyTech

This page was built for publication: Synthesis of optimal strategies using \textsc{HyTech}

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2849560)