The following pages link to Roberto Posenato (Q329420):
Displaying 8 items.
- Dynamic controllability via timed game automata (Q329422) (← 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)
- Reducing epsilon-DC Checking for Conditional Simple Temporal Networks to DC Checking (Q5079783) (← links)
- Conditional Simple Temporal Networks with Uncertainty and Resources (Q5376632) (← 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)
- Adding flexibility to uncertainty: flexible simple temporal networks with uncertainty (FTNU) (Q6188212) (← links)
