Login / Signup

DiPS: A Tool for Data-Informed Parameter Synthesis for Markov Chains from Multiple-Property Specifications.

Matej HajnalDavid SafránekTatjana Petrov
Published in: EPEW (2021)
Keyphrases
  • markov chain
  • state space
  • uniformly distributed
  • stationary distribution
  • expectation maximization
  • random walk
  • non stationary
  • steady state
  • markov processes