Open AccessRational Verification: From Model Checking to Equilibrium Checking
Author(s) -
Michael Wooldridge,
Julián Gutiérrez,
Paul Harrenstein,
Enrico Marchioni,
Giuseppe Perelli,
Alexis Toumi
Publication year - 2016
Publication title -
proceedings of the ... aaai conference on artificial intelligence
Language(s) - English
Resource type - Journals
eISSN - 2374-3468
pISSN - 2159-5399
DOI - 10.1609/aaai.v30i1.9878
Subject(s) - model checking , computer science , formal verification , key (lock) , temporal logic , formal methods , computation , computation tree logic , work (physics) , rational planning model , software verification , theoretical computer science , software , software engineering , programming language , software system , computer security , engineering , software construction , mechanical engineering , civil engineering