conftrace_

omega-regular decision process

1 paper

Explore in graph

Also known as

ODP

Co-occurring keywords · papers mentioning both

omega-regular lookahead (1) finite-state markov decision process (1) non-markovian decision process (1) lookahead property (1) lexicographic optimization (1) discounted reward (1)

Papers

Omega-Regular Decision Processes AAAI 2024