conftrace_

social law

4 papers

Explore in graph

Co-occurring keywords · papers mentioning both

agent coordination (2) robustness verification (2) multi-agent planning (2) instantaneous action (1) social law synthesis (1) cross-agent conflict (1) social law verification (1) multi-agent system (1) multi-robot system (1) strips planning (1)

Papers

Towards a Unified View of Social Laws with Instantaneous Actions IJCAI 2025 Automated Verification of Social Laws in Numeric Settings AAAI 2023 Automated Synthesis of Social Laws in STRIPS AAAI 2020 Automated Verification of Social Laws for Continuous Time Multi-Robot Systems AAAI 2019