conftrace_

cross-agent conflict

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

social law (1) social law verification (1) multi-agent system (1) agent coordination (1) automated verification (1) numeric planning (1)

Papers

Automated Verification of Social Laws in Numeric Settings AAAI 2023