Pages that link to "Item:Q5703780"
From MaRDI portal
The following pages link to Tools and Algorithms for the Construction and Analysis of Systems (Q5703780):
Displaying 12 items.
- Synthesis of Reactive(1) designs (Q439954) (← links)
- Antichains and compositional algorithms for LTL synthesis (Q453498) (← links)
- Problems of synthesis of \(\Sigma\)-automata specified in languages LP and LF of first order logic (Q681718) (← links)
- Causality-based game solving (Q832242) (← links)
- Practical synthesis of reactive systems from LTL specifications via parity games (Q2303871) (← links)
- A symbolic algorithm for lazy synthesis of eager strategies (Q2303874) (← links)
- Maintenance goals of agents in a dynamic environment: formulation and policy construction (Q2389664) (← links)
- Real-Time Strategy Synthesis for Timed-Arc Petri Net Games via Discretization (Q2814624) (← links)
- Synthesis of finite-state and definable winning strategies (Q2920143) (← links)
- Synthesising Succinct Strategies in Safety and Reachability Games (Q3447698) (← links)
- Model-Free Reinforcement Learning for Stochastic Parity Games (Q5089286) (← links)
- On-the-Fly Synthesis for Strictly Alternating Games (Q5100753) (← links)