conftrace_

multichain markov decision process

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

steady-state policy synthesis (1) multichain mdp (1) formal synthesis (1) linear temporal logic (1) linear program (1) formal specification (1) stationary distribution (1) linear programming (1)

Papers

Steady-State Policy Synthesis in Multichain Markov Decision Processes IJCAI 2020