Compositional Synthesis of Concurrent Systems through Causal Model Checking and Learning.
Shang-Wei LinPao-Ann HsiungPublished in: FM (2014)
Keyphrases
- model checking
- concurrent systems
- temporal logic
- transition systems
- formal specification
- process algebra
- reinforcement learning
- finite state
- petri net
- formal methods
- formal verification
- automated verification
- symbolic model checking
- temporal properties
- reactive systems
- pspace complete
- model checker
- bayesian networks