C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
System design of stochastic models using robustness of temporal properties.
Ezio Bartocci
Luca Bortolussi
Laura Nenzi
Guido Sanguinetti
Published in:
Theor. Comput. Sci. (2015)
Keyphrases
</>
stochastic models
temporal properties
knowledge based systems
special case
random walk
modeling language
stochastic model
stochastic processes