conftrace_

temporal logic synthesis

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

linear temporal logic (2) agent programming (1) first-order action theories (1) agent program (1) nondeterministic environment (1) first-order action theory (1) generalized reactivity (1) temporal synthesis (1) gr(1) specification (1) ltlf synthesis (1)

Papers

LTLf Synthesis on First-Order Agent Programs in Nondeterministic Environments AAAI 2025 Finite-Trace and Generalized-Reactivity Specifications in Temporal Synthesis IJCAI 2021