![](/img/cover-not-exists.png)
From model checking to equilibrium checking: Reactive modules for rational verification
Gutierrez, Julian, Harrenstein, Paul, Wooldridge, MichaelVolume:
248
Language:
english
Journal:
Artificial Intelligence
DOI:
10.1016/j.artint.2017.04.003
Date:
July, 2017
File:
PDF, 1.05 MB
english, 2017