Minimisation of Models Satisfying CTL Formulas.

Serenella Cerrito Amélie David Valentin Goranko

Published in: TIME (2019)

Keyphrases

probabilistic model
experimental data
artificial intelligence
information systems
parameter estimation
neural network model
temporal logic