Eternity Variables to Simulate Specifications.

Wim H. Hesselink

Published in: MPC (2002)

Keyphrases

formal specification
data sets
machine learning
probabilistic model
relevant variables
artificial intelligence
high level
multiscale
multi agent systems
conditional probabilities
concurrent systems