Learning probabilistic models for model checking: an evolutionary approach and an empirical study.
Jingyi WangJun SunQixia YuanJun PangPublished in: Int. J. Softw. Tools Technol. Transf. (2018)
Keyphrases
- model checking
- probabilistic model
- temporal logic
- formal specification
- reinforcement learning
- computation tree logic
- model checker
- hidden variables
- learning algorithm
- finite state machines
- epistemic logic
- concurrent systems
- graphical models
- formal verification
- software engineering
- temporal properties
- symbolic model checking