Keyphrases
- model checking
- bounded model checking
- linear temporal logic
- temporal logic
- deterministic automata
- linear time temporal logic
- change point detection
- transition systems
- normalized maximum likelihood
- finite automata
- heuristic search
- dynamic programming
- decision making
- computer vision
- social networks
- artificial intelligence
- data mining