From model checking to equilibrium checking: reactive modules for rational verification
Model checking is the best-known and most successful approach to formally verifying that systems satisfy specifications, expressed as temporal logic formulae. In this article, we develop the theory of equilibrium checking, a related but distinct problem. Equilibrium checking is relevant for multi-ag...
| Main Authors: | , , |
|---|---|
| Format: | Journal article |
| Published: |
Elsevier
2017
|