A Symbolic Approach to Safety LTL Synthesis.

Shufang Zhu Lucas M. Tabajara Jianwen Li Geguang Pu Moshe Y. Vardi

Published in: CoRR (2017)

Keyphrases

model checking
temporal logic
program synthesis
linear temporal logic
symbolic description
linear time temporal logic
neural learning
database
databases
learning algorithm
artificial intelligence
domain specific
symbolic representation
road safety
symbolic reasoning
deterministic automata