Pages that link to "Item:Q2814624"
From MaRDI portal
The following pages link to Real-Time Strategy Synthesis for Timed-Arc Petri Net Games via Discretization (Q2814624):
Displayed 6 items.
- TAPAAL (Q13691) (← links)
- Stubborn set reduction for timed reachability and safety games (Q832029) (← links)
- Automatic synthesis of transiently correct network updates via Petri games (Q2117163) (← links)
- Kaki: concurrent update synthesis for regular policies via Petri games (Q2165522) (← links)
- (Q5856425) (← links)
- Partial order reduction for reachability games (Q5875384) (← links)