A Symbolic Approach to Safety ltl Synthesis.
Shufang ZhuLucas M. TabajaraJianwen LiGeguang PuMoshe Y. VardiPublished in: Haifa Verification Conference (2017)
Keyphrases
- linear temporal logic
- temporal logic
- symbolic representation
- model checking
- deterministic automata
- bounded model checking
- linear time temporal logic
- program synthesis
- neural learning
- connectionist models
- safety critical
- hidden markov models
- high level
- data sets
- symbolic data
- traffic accidents
- multi agent
- symbolic description
- connectionist learning
- connectionist systems
- information retrieval