Posterior predictive model assessment using formal methods in a spatio-temporal mode.
Laura VanaEnnio ViscontiLaura NenziAnnalisa CadonnaGregor KastnerPublished in: CoRR (2021)
Keyphrases
- formal methods
- predictive model
- spatio temporal
- historical data
- probabilistic model
- artificial neural networks
- prediction model
- formal specification
- model checking
- neural network
- decision trees
- knowledge based systems
- artificial intelligence
- classification rules
- software engineering
- classification models
- data model
- genetic programming
- knn
- case study
- feature selection