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

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

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)

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

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)