• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

System design of stochastic models using robustness of temporal properties.

Ezio BartocciLuca BortolussiLaura NenziGuido 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