Parametric Identification of Temporal Properties.

Eugene Asarin Alexandre Donzé Oded Maler Dejan Nickovic

Published in: RV (2011)

Keyphrases

temporal properties
model checking
formal methods
possibility theory
temporal logic
neural network
genetic algorithm
data analysis
relational databases
artificial neural networks
sufficient conditions
random walk
parametric models