conftrace_

non-markovian domain

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

finite trace (1) deterministic finite automaton (1) temporal logic (1) formal methods (1) sequential decision making (1) automated planning (1) decision making (1)

Papers

Pure-Past Linear Temporal and Dynamic Logic on Finite Traces IJCAI 2020