A two-phase approach for design of supervisory controllers for robot cells: Model checking and Markov decision models.
Tae-Eog LeeJin-Hwan LeePublished in: Ann. Oper. Res. (1998)
Keyphrases
- model checking
- temporal logic
- formal verification
- decision models
- automated verification
- temporal properties
- formal methods
- verification method
- model checker
- reinforcement learning
- bounded model checking
- transition systems
- symbolic model checking
- control system
- epistemic logic
- model construction
- markov chain
- evolutionary algorithm
- machine learning
- computation tree logic