On Diagrams and General Model Checkers.

Sheila R. M. Veloso Paulo A. S. Veloso Mario R. F. Benevides Isaque M. S. Lima

Published in: Diagrams (2018)

Keyphrases

formal model
computational model
statistical model
high level
special case
mathematical model
probabilistic model
real time
artificial intelligence
e learning
evolutionary algorithm
prior knowledge
theoretical framework
closely related
closed form
sensitivity analysis