Equivalence notions and model minimization in Markov decision processes

This publication has 21 references indexed in Scilit:

• Concurrency and automata on infinite sequences
  2005
• Equivalence notions and model minimization in Markov decision processes
  Artificial Intelligence, 2003
• Stochastic dynamic programming with factored representations
  Artificial Intelligence, 2000
• Dynamic non-uniform abstractions for approximate planning in large structured stochastic domains
  1998
• Abstraction and approximate decision-theoretic planning
  Artificial Intelligence, 1997
• An algorithm for probabilistic planning
  Artificial Intelligence, 1995
• Symbolic model checking for sequential circuit verification
  IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 1994
• Modeling a dynamic and uncertain world I
  Artificial Intelligence, 1994
• A model for reasoning about persistence and causation
  Computational Intelligence, 1989
• Algebraic Structure Theory of Sequential Machines
  Mathematics of Computation, 1968