conftrace_

parameterized multi-agent system

1 paper

Explore in graph

Also known as

PMAS

Co-occurring keywords · papers mentioning both

smt-based model checking (1) infinite-state model checking (1) array-based system (1) satisfiability modulo theories (1) parameterized system (1) multi-agent system (1) model checking (1) safety verification (1) formal verification (1)

Papers

SMT-based Safety Checking of Parameterized Multi-Agent Systems AAAI 2021