Login / Signup

Analysis of Timed and Long-Run Objectives for Markov Automata.

Dennis GuckHassan HatefiHolger HermannsJoost-Pieter KatoenMark Timmer
Published in: Log. Methods Comput. Sci. (2014)
Keyphrases
  • long run
  • expected cost
  • short run
  • petri net
  • cost function
  • markov chain
  • optimal policy
  • cellular automata
  • markov model
  • finite state