%0 Conference Paper %1 conf/aaai/WooldridgeGHMPT16 %A Wooldridge, Michael J. %A Gutierrez, Julian %A Harrenstein, Paul %A Marchioni, Enrico %A Perelli, Giuseppe %A Toumi, Alexis %B AAAI %D 2016 %E Schuurmans, Dale %E Wellman, Michael P. %I AAAI Press %K dblp %P 4184-4191 %T Rational Verification: From Model Checking to Equilibrium Checking. %U http://dblp.uni-trier.de/db/conf/aaai/aaai2016.html#WooldridgeGHMPT16 %@ 978-1-57735-760-5

@inproceedings{conf/aaai/WooldridgeGHMPT16, added-at = {2023-09-04T00:00:00.000+0200}, author = {Wooldridge, Michael J. and Gutierrez, Julian and Harrenstein, Paul and Marchioni, Enrico and Perelli, Giuseppe and Toumi, Alexis}, biburl = {https://www.bibsonomy.org/bibtex/2e9b247a10bb5cc1390f5a141bcd359d2/dblp}, booktitle = {AAAI}, crossref = {conf/aaai/2016}, editor = {Schuurmans, Dale and Wellman, Michael P.}, ee = {https://doi.org/10.1609/aaai.v30i1.9878}, interhash = {6bd52c325d74f51bd63957ac134a4d0a}, intrahash = {e9b247a10bb5cc1390f5a141bcd359d2}, isbn = {978-1-57735-760-5}, keywords = {dblp}, pages = {4184-4191}, publisher = {AAAI Press}, timestamp = {2024-04-09T18:14:38.000+0200}, title = {Rational Verification: From Model Checking to Equilibrium Checking.}, url = {http://dblp.uni-trier.de/db/conf/aaai/aaai2016.html#WooldridgeGHMPT16}, year = 2016 }