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