Pages that link to "Item:Q5079782"
From MaRDI portal
The following pages link to Sound-and-Complete Algorithms for Checking the Dynamic Controllability of Conditional Simple Temporal Networks with Uncertainty. (Q5079782):
Displaying 16 items.
- Efficient execution of dynamically controllable simple temporal networks with uncertainty (Q262129) (← links)
- Efficient processing of simple temporal networks with uncertainty: algorithms for dynamic controllability verification (Q329426) (← links)
- Consistency checking of STNs with decisions: managing temporal and access-control constraints in a seamless way (Q821554) (← links)
- Checking dynamic consistency of conditional hyper temporal networks via mean payoff games. Hardness and (pseudo) singly-exponential time algorithm (Q1706164) (← links)
- Quantifying controllability in temporal networks with uncertainty (Q2046026) (← links)
- Instantaneous reaction-time in dynamic consistency checking of conditional simple temporal networks (Q2173438) (← links)
- Dynamic controllability of simple temporal networks with uncertainty: simple rules and fast real-time execution (Q2334595) (← links)
- Conditional simple temporal networks with uncertainty and decisions (Q2334599) (← links)
- Dynamic Controllability of Controllable Conditional Temporal Problems with Uncertainty (Q3120431) (← links)
- Faster Dynamic Controllability Checking for Simple Temporal Networks with Uncertainty (Q5079774) (← links)
- Extending Conditional Simple Temporal Networks with Partially Shrinkable Uncertainty. (Q5079775) (← links)
- Reducing epsilon-DC Checking for Conditional Simple Temporal Networks to DC Checking (Q5079783) (← links)
- Early detection of temporal constraint violations (Q6178450) (← links)
- Adding flexibility to uncertainty: flexible simple temporal networks with uncertainty (FTNU) (Q6188212) (← links)
- Dynamic controllability of temporal networks with instantaneous reaction (Q6205017) (← links)
- Dynamic controllability made simple (Q6486427) (← links)
