conftrace_

nondeterministic environment

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

agent program (1) first-order action theory (1) temporal logic synthesis (1) agent programming (1) first-order action theories (1) linear temporal logic (1) ltlf synthesis (1) game-theoretic approach (1) policy synthesis (1) temporal logic (1)

Papers

LTLf Synthesis on First-Order Agent Programs in Nondeterministic Environments AAAI 2025