Pages that link to "Item:Q2334595"
From MaRDI portal
The following pages link to Dynamic controllability of simple temporal networks with uncertainty: simple rules and fast real-time execution (Q2334595):
Displaying 17 items.
- Efficient execution of dynamically controllable simple temporal networks with uncertainty (Q262129) (← links)
- Dynamic controllability via timed game automata (Q329422) (← 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)
- Hyper temporal networks. A tractable generalization of simple temporal networks and its relation to mean payoff games (Q1706770) (← links)
- Flexibility and decoupling in simple temporal networks (Q2014926) (← links)
- Quantifying controllability in temporal networks with uncertainty (Q2046026) (← links)
- Determining temporal agreements in cross-organizational business processes (Q2051815) (← links)
- Time–dependent Simple Temporal Networks: Properties and Algorithms (Q4921896) (← links)
- Faster Dynamic Controllability Checking for Simple Temporal Networks with Uncertainty (Q5079774) (← links)
- Extending Conditional Simple Temporal Networks with Partially Shrinkable Uncertainty. (Q5079775) (← links)
- Sound-and-Complete Algorithms for Checking the Dynamic Controllability of Conditional Simple Temporal Networks with Uncertainty. (Q5079782) (← links)
- A faster algorithm for converting simple temporal networks with uncertainty into dispatchable form (Q6116194) (← links)
- Realizability problem for constraint LTL (Q6178458) (← links)
- Dynamic controllability of temporal networks with instantaneous reaction (Q6205017) (← links)
- Dynamic controllability made simple (Q6486427) (← links)
- Hybrid SAT-based consistency checking algorithms for simple temporal networks with decisions (Q6487560) (← links)
