On-the-fly Synthesis for LTL over Finite Traces.

Shengping Xiao Jianwen Li Shufang Zhu Yingying Shi Geguang Pu Moshe Y. Vardi

Published in: AAAI (2021)

Keyphrases

linear temporal logic
temporal logic
model checking
deterministic automata
finite number
finite automata
bounded model checking
neural network
multi agent
genetic algorithm
multiscale
evolutionary algorithm
texture synthesis
program synthesis
linear time temporal logic