Login / Signup

Lumping-based equivalences in Markovian automata: Algorithms and applications to product-form analyses.

Giacomo AlzettaAndrea MarinCarla PiazzaSabina Rossi
Published in: Inf. Comput. (2018)
Keyphrases
  • product form
  • computational complexity
  • steady state
  • learning algorithm
  • linear programming
  • markov chain