Equivalence notions and model minimization in Markov decision processes

Communication and concurrency

Wojciech Penczek · Science of Computer Programming · 1990 · 4K citations

Engineering, Concurrency Theory, Concurrency (Computer Science) +5

Dynamic Programming and Markov Processes.

Marshall Freimer, Ronald A. Howard · Journal of the American Statistical Association · 1961 · 3.4K citations

Engineering, Stochastic Processes, Dynamic Programming +6

Finite Markov Chains.

Keith Bush, John G. Kemeny, J. Laurie Snell · American Mathematical Monthly · 1960 · 1.6K citations

Markov Chains, Engineering, Natural Sciences +8

Algebraic laws for nondeterminism and concurrency

Matthew Hennessy, Robin Milner · Journal of the ACM · 1985 · 1.4K citations

Declarative Programming, Observation Congruence Class, Engineering +14

Decision-Theoretic Planning: Structural Assumptions and Computational Leverage

Craig Boutilier, Taraneh Dean, Steve Hanks · Journal of Artificial Intelligence Research · 1999 · 1.1K citations · Full text

Artificial Intelligence, Engineering, Game Theory +18