conftrace_

steady-state policy synthesis

1 paper

Explore in graph

Also known as

SSPS

Co-occurring keywords · papers mentioning both

multichain mdp (1) formal synthesis (1) multichain markov decision process (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