Exact Synthesis of LTL Properties from Traces.

Published in: FDL (2019)

Keyphrases

temporal logic
desirable properties
neural network
database
databases
genetic algorithm
case study
multi agent
search algorithm
expert systems
model checking