Pages that link to "Item:Q329422"
From MaRDI portal
The following pages link to Dynamic controllability via timed game automata (Q329422):
Displaying 8 items.
- Efficient execution of dynamically controllable simple temporal networks with uncertainty (Q262129) (← links)
- An SMT-based approach to weak controllability for disjunctive temporal problems with uncertainty (Q892228) (← links)
- Mining CSTNUDs significant for a set of traces is polynomial (Q2051798) (← links)
- Conditional simple temporal networks with uncertainty and decisions (Q2334599) (← links)
- Extending Conditional Simple Temporal Networks with Partially Shrinkable Uncertainty. (Q5079775) (← links)
- GSM+T: A Timed Artifact-Centric Process Model. (Q5079787) (← links)
- Mining Significant Temporal Networks Is Polynomial (Q6060099) (← links)
- Dynamic controllability of temporal networks with instantaneous reaction (Q6205017) (← links)
