A Uniformization-Based Algorithm for Model Checking the CSL Until Operator on Labeled Queueing Networks.
Anne RemkeBoudewijn R. HaverkortPublished in: FORMATS (2008)
Keyphrases
- model checking
- learning algorithm
- verification method
- search space
- dynamic programming
- temporal logic
- optimal solution
- queueing networks
- deterministic finite automaton
- reinforcement learning
- np hard
- linear temporal logic
- computational complexity
- machine learning
- finite state
- reachability analysis
- computation tree logic