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