Pages that link to "Item:Q821554"
From MaRDI portal
The following pages link to Consistency checking of STNs with decisions: managing temporal and access-control constraints in a seamless way (Q821554):
Displaying 7 items.
- Hyper temporal networks. A tractable generalization of simple temporal networks and its relation to mean payoff games (Q1706770) (← links)
- Mining CSTNUDs significant for a set of traces is polynomial (Q2051798) (← links)
- An interdisciplinary experimental evaluation on the disjunctive temporal problem (Q6080502) (← links)
- Adding flexibility to uncertainty: flexible simple temporal networks with uncertainty (FTNU) (Q6188212) (← links)
- Dynamic controllability of temporal networks with instantaneous reaction (Q6205017) (← links)
- Incorporating decision nodes into conditional simple temporal networks (Q6486429) (← links)
- Hybrid SAT-based consistency checking algorithms for simple temporal networks with decisions (Q6487560) (← links)
