Synthesising Succinct Strategies in Safety and Reachability Games

DOI10.1007/978-3-319-11439-2_8MaRDI QIDQ3447698zbMATH OpenOpenAlexFDO

Authors G. Geeraerts, Joël Goossens, Amélie Stainer

Publication date 28 October 2015

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://dipot.ulb.ac.be/dspace/bitstream/2013/160787/1/main.pdf

Mathematics Subject Classification ID

Performance evaluation, queueing, and scheduling in the context of computer systems (68M20) Applications of game theory (91A80)

Recommendations

• Synthesising succinct strategies in safety games with an application to real-time scheduling
• Strategy improvement for concurrent reachability and turn-based stochastic safety games
• scientific article; zbMATH DE number 7204389
• Stochastic games with lexicographic reachability-safety objectives
• Termination criteria for solving concurrent safety and reachability games
• Symbolic verification and strategy synthesis for turn-based stochastic games
• Synthesis of Safe, Optimal and Compact Strategies for Stochastic Hybrid Games (Invited Paper)
• Optimal strategies in pushdown reachability games
• Tools and Algorithms for the Construction and Analysis of Systems
• Optimally Resilient Strategies in Pushdown Safety Games

Cited in

(9)

• A symbolic algorithm for lazy synthesis of eager strategies
• Strategy representation by decision trees in reactive synthesis
• Synthesising succinct strategies in safety games with an application to real-time scheduling
• A pre-order relation for exact schedulability test of sporadic tasks on multiprocessor global fixed-priority scheduling
• Synthesis of finite-state and definable winning strategies
• Small strategies for safety games
• On-the-Fly Synthesis for Strictly Alternating Games
• Strategy Representation by Decision Trees with Linear Classifiers
• Causality-based game solving

This page was built for publication: Synthesising Succinct Strategies in Safety and Reachability Games

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