conftrace_

behavioral mimicry

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

finite trace property (1) trace property (1) behavior synthesis (1) domain separation (1) intelligent agent (1) linear temporal logic (1) strategy synthesis (1) formal methods (1) automated planning (1)

Papers

Mimicking Behaviors in Separated Domains (Abstract Reprint) AAAI 2024