Login / Signup
Model-Guided Synthesis for LTL over Finite Traces.
Shengping Xiao
Yongkang Li
Xinyue Huang
Yicong Xu
Jianwen Li
Geguang Pu
Ofer Strichman
Moshe Y. Vardi
Published in:
VMCAI (1) (2024)
Keyphrases
</>
computational model
theoretical framework
mathematical model
high level
parameter estimation
neural network model
neural network
search algorithm
probabilistic model
management system
theoretical analysis
experimental data
temporal logic