VERDS: Modeling and Verification of Finite State Systems with Discrete Time Models by Symbolic Techniques.
Wenhui ZhangXue-Yang ZhuYulong BaoPublished in: TASE (2021)
Keyphrases
- finite state
- model checking
- markov chain
- complex systems
- reactive systems
- markov decision processes
- continuous time bayesian networks
- finite state transducers
- optimal policy
- action sets
- n gram
- temporal logic
- tree automata
- probabilistic model
- linear programming
- context sensitive
- distributed systems
- policy iteration
- machine learning