A new algorithm for strategy synthesis in LTL games

DOI10.1007/978-3-540-31980-1_31MaRDI QIDQ5703780zbMATH OpenOpenAlexFDO

Authors Aidan Harding, M. D. Ryan, Pierre Yves Schobbens

Publication date 10 November 2005

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

Full work available at URL https://doi.org/10.1007/b107194

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Applications of game theory (91A80)

Recommendations

• A Hybrid Algorithm for LTL Games
• Compositional algorithms for LTL synthesis
• Solving Games Without Determinization
• Synthesis from LTL specifications with mean-payoff objectives
• scientific article; zbMATH DE number 7311251

Cited in

(18)

• Practical synthesis of reactive systems from LTL specifications via parity games
• A symbolic algorithm for lazy synthesis of eager strategies
• Maintenance goals of agents in a dynamic environment: formulation and policy construction
• Real-Time Strategy Synthesis for Timed-Arc Petri Net Games via Discretization
• Synthesis of finite-state and definable winning strategies
• Semantic labelling and learning for parity game solving in LTL synthesis
• Synthesising Succinct Strategies in Safety and Reachability Games
• An Antichain Algorithm for LTL Realizability
• Synthesis of Reactive(1) designs
• Antichains and compositional algorithms for LTL synthesis
• Compositional algorithms for LTL synthesis
• Model-Free Reinforcement Learning for Stochastic Parity Games
• On-the-Fly Synthesis for Strictly Alternating Games
• Synthesis from LTL specifications with mean-payoff objectives
• A Hybrid Algorithm for LTL Games
• Guessing winning policies in LTL synthesis by semantic learning
• Problems of synthesis of -automata specified in languages LP and LF of first order logic
• Causality-based game solving

Describes a project that uses

Uses Software

• CUDD

This page was built for publication: A new algorithm for strategy synthesis in LTL games

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