Login / Signup

Discounting the past in robust finite-state systems.

Matthias RunggerPaulo Tabuada
Published in: CDC (2014)
Keyphrases
  • finite state
  • markov chain
  • markov decision processes
  • model checking
  • optimal policy
  • multi agent
  • distributed systems
  • decision problems
  • formal methods
  • context free