%0 Journal Article %1 journals/ai/GutierrezHW17 %A Gutierrez, Julian %A Harrenstein, Paul %A Wooldridge, Michael J. %D 2017 %J Artif. Intell. %K dblp %P 123-157 %T From model checking to equilibrium checking: Reactive modules for rational verification. %U http://dblp.uni-trier.de/db/journals/ai/ai248.html#GutierrezHW17 %V 248

@article{journals/ai/GutierrezHW17, added-at = {2019-04-26T00:00:00.000+0200}, author = {Gutierrez, Julian and Harrenstein, Paul and Wooldridge, Michael J.}, biburl = {https://www.bibsonomy.org/bibtex/22c615eee6d18124b879598add0c46b78/dblp}, ee = {https://doi.org/10.1016/j.artint.2017.04.003}, interhash = {18e46ece68f9034ba4bea16db04dcb90}, intrahash = {2c615eee6d18124b879598add0c46b78}, journal = {Artif. Intell.}, keywords = {dblp}, pages = {123-157}, timestamp = {2019-04-27T11:37:06.000+0200}, title = {From model checking to equilibrium checking: Reactive modules for rational verification.}, url = {http://dblp.uni-trier.de/db/journals/ai/ai248.html#GutierrezHW17}, volume = 248, year = 2017 }