conftrace_

lookahead property

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

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

Papers

Omega-Regular Decision Processes AAAI 2024