Login / Signup
Temporal Specification and Deductive Verification of a Distributed Component Model and Its Environment.
Alessandro Basso
Alexander Bolotov
Vladimir Getov
Published in:
SSIRI (2009)
Keyphrases
</>
high level
statistical model
probabilistic model
computational model
cooperative
prior knowledge
cost function
mathematical model
experimental data
multi agent
hidden markov models
probability distribution
object oriented
simulation model
simulation environment
temporal evolution