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):
Displayed 5 items.
- Consistency checking of STNs with decisions: managing temporal and access-control constraints in a seamless way (Q821554) (← links)
- Extending Conditional Simple Temporal Networks with Partially Shrinkable Uncertainty. (Q5079775) (← 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)
