Login / Signup
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