Login / Signup
Automated Verification of Social Laws in Numeric Settings.
Ronen Nir
Alexander Shleyfman
Erez Karpas
Published in:
AAAI (2023)
Keyphrases
</>
automated verification
social laws
model checking
multi agent systems
multiagent planning
automated reasoning
formal verification
agent societies
multiagent systems
multi agent
temporal logic
probabilistic model
autonomous agents
combinatorial optimization
incomplete information
finite state
mechanism design