conftrace_

social law verification

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

social law (1) cross-agent conflict (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