conftrace_

first-order action theory

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

agent program (1) nondeterministic environment (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