Signal Temporal Logic Synthesis as Probabilistic Inference.
Ki Myung Brian LeeChanyeol YooRobert FitchPublished in: CoRR (2021)
Keyphrases
- probabilistic inference
- temporal logic
- model checking
- graphical models
- modal logic
- satisfiability problem
- bayesian networks
- belief networks
- conditional probabilities
- influence diagrams
- context specific independence
- linear temporal logic
- message passing
- computation tree logic
- verification method
- belief revision
- weighted model counting
- probabilistic reasoning
- transition systems
- probabilistic model
- random variables