A Refined Algorithm for Reachability Analysis of Updatable Timed Automata.
Bingbing FangGuoqiang LiLing FangJianwen XiangPublished in: QRS Companion (2015)
Keyphrases
- reachability analysis
- optimization algorithm
- incremental algorithms
- timed automata
- segmentation algorithm
- search space
- np hard
- linear programming
- computational cost
- computational complexity
- optimal solution
- dynamic programming
- model free
- real time
- worst case
- k means
- detection algorithm
- probabilistic model
- model checking
- simulated annealing
- cost function
- preprocessing
- video sequences
- learning algorithm