Pages that link to "Item:Q1706164"
From MaRDI portal
The following pages link to Checking dynamic consistency of conditional hyper temporal networks via mean payoff games. Hardness and (pseudo) singly-exponential time algorithm (Q1706164):
Displaying 5 items.
- Dynamic controllability via timed game automata (Q329422) (← links)
- Hyper temporal networks. A tractable generalization of simple temporal networks and its relation to mean payoff games (Q1706770) (← links)
- Instantaneous reaction-time in dynamic consistency checking of conditional simple temporal networks (Q2173438) (← links)
- Reducing epsilon-DC Checking for Conditional Simple Temporal Networks to DC Checking (Q5079783) (← links)
- Hybrid SAT-based consistency checking algorithms for simple temporal networks with decisions (Q6487560) (← links)
