The following pages link to Luke Hunsberger (Q262128):
Displaying 7 items.
- Efficient execution of dynamically controllable simple temporal networks with uncertainty (Q262129) (← links)
- Dynamic controllability via timed game automata (Q329422) (← links)
- Faster Dynamic Controllability Checking for Simple Temporal Networks with Uncertainty (Q5079774) (← links)
- Sound-and-Complete Algorithms for Checking the Dynamic Controllability of Conditional Simple Temporal Networks with Uncertainty. (Q5079782) (← links)
- Reducing epsilon-DC Checking for Conditional Simple Temporal Networks to DC Checking (Q5079783) (← links)
- Simple Temporal Networks: A Practical Foundation for Temporal Representation and Reasoning (Invited Talk). (Q6080260) (← links)
- A faster algorithm for converting simple temporal networks with uncertainty into dispatchable form (Q6116194) (← links)
