Sound and Complete Algorithms for Checking the Dynamic Controllability of Temporal Networks with Uncertainty, Disjunction and Observation.
Alessandro CimattiLuke HunsbergerAndrea MicheliRoberto PosenatoMarco RoveriPublished in: TIME (2014)
Keyphrases
- computational complexity
- worst case
- learning algorithm
- optimization problems
- spatial and temporal
- data sets
- temporal constraints
- data structure
- spatio temporal
- times faster
- orders of magnitude
- network analysis
- uncertain data
- temporal information
- benchmark datasets
- state space
- probability distribution
- evolutionary algorithm
- decision trees
- neural network