Faster Dynamic Controllability Checking in Temporal Networks with Integer Bounds
Simple Temporal Networks with Uncertainty (STNUs) provide a useful formalism with which to reason about events and the temporal constraints that apply to them. STNUs are in particular notable because they facilitate reasoning over stochastic, or uncontrollable, actions and their corresponding durati...
| Main Authors: | , |
|---|---|
| Format: | Article |
| Language: | en_US |
| Published: |
International Joint Conference in Artificial Intelligence
2019
|
| Subjects: | |
| Online Access: | https://hdl.handle.net/1721.1/121993 |