Login / Signup

Fixed Point Characterization of Infinite Behavior of Finite-State Systems.

Damian Niwinski
Published in: Theor. Comput. Sci. (1997)
Keyphrases
  • fixed point
  • finite state
  • policy iteration
  • markov chain
  • model checking
  • markov decision processes
  • similarity measure
  • dynamical systems
  • floating point
  • fixed point theorem
  • least squares
  • higher order
  • optimal policy