@INPROCEEDINGS{VR-MF-TW-RMM:15,
  author={Raman, Vasumathi and Fält, Mattias and Wongpiromsarn, Tichakorn and Murray, Richard M.},
  booktitle={2015 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS)}, 
  title={Online horizon selection in receding horizon temporal logic planning}, 
  year={2015},
  pages={3493-3499},
  }


@article{RY-GS-GN-DP-MK:22,
  title={Strategy Synthesis for Zero-sum Neuro-symbolic Concurrent Stochastic Games},
  author={Rui Yan and Gabriel Santos and Gethin Norman and David Parker and Marta Kwiatkowska},
  journal={\href{https://arxiv.org/abs/2202.06255}{arXiv:2202.06255}},
  year={2022}
}

@InProceedings{NB-AB-AL-QG:20,
  title={Combining deep reinforcement learning and search for imperfect-information games},
  author={Noam Brown, Anton Bakhtin, Adam Lerer and Qucheng Gong},
  booktitle ={Proc. 33rd Int. Conf. Advances in Neural Information Processing Systems (NeurIPS'20)},
  year={2020},
  publisher={Curran Associates, Inc.}
}

@article{VK-MS-NB-MB-VL:22,
title = {Rethinking formal models of partially observable multiagent decision making},
journal = {Artificial Intelligence},
volume = {303},
pages = {103645},
year = {2022},
author = {Vojtěch Kovařík and Martin Schmid and Neil Burch and Michael Bowling and Viliam Lisý},
}

@book{CM-GG:07,
  title={Finding correlated equilibria in general sum stochastic games},
  author={Murray, Chris and Gordon, Geoff},
  year={2007},
  publisher={Carnegie Mellon University, School of Computer Science, Machine Learning}
}

@article{RJA:74,
  title={Subjectivity and correlation in randomized strategies},
  author={Aumann, Robert J},
  journal={Journal of mathematical Economics},
  volume={1},
  number={1},
  pages={67--96},
  year={1974},
  publisher={Elsevier}
}

@article{JN:51,
    title={Non-cooperative games},
    author={Nash, John},
    journal={Annals of mathematics},
    pages={286--295},
    year={1951},
    publisher={JSTOR}
}

@article{XC-XD-ST:09,
    title={Settling the complexity of computing two-player Nash equilibria},
    author={Chen, Xi and Deng, Xiaotie and Teng, Shang-Hua},
    journal={Journal of the ACM},
    volume={56},
    number={3},
    pages={1--57},
    year={2009},
    publisher={ACM New York, NY, USA}
}

@inproceedings{AB-BC:10, 
    author = {Burkov, Andriy and Chaib-draa, Brahim}, 
    title = {An Approximate Subgame-Perfect Equilibrium Computation Technique for Repeated Games}, 
    year = {2010},  
    booktitle = {Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence (AAAI 10)}, pages = {729–736}, 
    publisher={AAAI Press}
}

@inproceedings{LDR-SD-RM-GM:20,
    author = {De Raedt, Luc and Duman{\v{c}}i{\'c}, Sebastijan and Manhaeve, Robin and Marra, Giuseppe},
    year = {2020},
    month = {07},
    pages = {4943-4950},
    title = {From Statistical Relational to Neural-Symbolic Artificial Intelligence},
    booktitle={Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence (IJCAI-20)},
    publisher = {IJCAI Organization}
}

@book{JW:13,
    title={Strategy: An Introduction to Game Theory},
    author={Watson, Joel},
    year={2013},
    publisher={WW Norton \& Company}
}

@article{KDJ-SS-JBJ-MJK:19,
    author    = {Kyle D. Julian and
               Shivam Sharma and
               Jean{-}Baptiste Jeannin and
               Mykel J. Kochenderfer},
    title     = {Verifying Aircraft Collision Avoidance Neural Networks Through Linear Approximations of Safe Regions},
    journal   = {CoRR},
    volume    = {abs/1903.00762},
    year      = {2019}
}

@article{KDJ-MJK:19,
    author    = {Kyle D. Julian and Mykel J. Kochenderfer},
    title     = {A Reachability Method for Verifying Dynamical Systems with Deep Neural Network Controllers},
    journal   = {CoRR},
    volume    = {abs/1903.00520},
    year      = {2019}
}

@inproceedings{LL-AG-MG-MPPA-MV:20,
    author = {Lamb, Luís and Garcez, Artur and Gori, Marco and Prates, Marcelo and Avelar, Pedro and Vardi, Moshe},
    year = {2020},
    month = {07},
    pages = {4810-4817},
    title = {Graph Neural Networks Meet Neural-Symbolic Computing: A Survey and Perspective},
    booktitle={Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence (IJCAI-20)},
    organization={IJCAI Organization}
}

@book{DK-11,
    title={Thinking, fast and slow},
    author={Kahneman, Daniel},
    year={2011},
    publisher={Macmillan}
}

@inproceedings{PB-NM-DS:14,
    title={Mixed {Nash} equilibria in concurrent terminal-reward games},
    author={Bouyer, Patricia and Markey, Nicolas and Stan, Daniel},
    booktitle={FSTTCS 2014},
    year={2014},
    pages={1--12}
}

@incollection{DF-DL:09,
    title={Subgame--Perfect Equilibria of Finite--and Infinite--Horizon Games},
    author={Fudenberg, Drew and Levine, David},
    booktitle={A Long-Run Collaboration On Long-Run Games},
    pages={3--20},
    year={2009},
    publisher={World Scientific}
}

@inproceedings{JKG-ME-MK:17,
    title={Cooperative multi-agent control using deep reinforcement learning},
    author={Gupta, Jayesh K and Egorov, Maxim and Kochenderfer, Mykel},
    booktitle={International Conference on Autonomous Agents and Multiagent Systems (AAMAS 17)},
    pages={66--83},
    year={2017},
    organization={Springer}
}

@inproceedings{KH-BB:19,
    title={Solving partially observable stochastic games with public observations},
    author={Hor{\'a}k, Karel and Bo{\v{s}}ansk{\`y}, Branislav},
    booktitle={Proceedings of the AAAI Conference on Artificial Intelligence (AAAI 19)},
    volume={33},
    number={01},
    pages={2029--2036},
    year={2019},
    publisher={AAAI Press}
}

@article{RS:75,
    title={Reexamination of the perfectness concept for equilibrium points in extensive games},
    author={R. Selten},
    journal={International Journal of Game Theory},
    year={1975},
    volume={4},
    pages={25-55}
}

@inproceedings{MK-GN-DP-GS:20-2,
    author={Kwiatkowska, Marta and Norman, Gethin and Parker, David and Santos, Gabriel},
    title={PRISM-games 3.0: Stochastic game verification with concurrency, equilibria and time},
    booktitle={International Conference on Computer Aided Verification (CAV 2020)},
    pages={475--487},
    year={2020},
    organization={Springer}
}

@inproceedings{FM-IM-IS-ET-LA-AC-HL:09,
    author={Mari, Federico and Melatti, Igor and Salvo, Ivano and Tronci, Enrico and Alvisi, Lorenzo and Clement, Allen and Li, Harry},
    title={Model checking coalition {Nash} equilibria in {MAD} distributed systems},
    booktitle={Symposium on Self-Stabilizing Systems (SSS 2009)},
    pages={531--546},
    year={2009},
    organization={Springer}
    
}

@inproceedings{DF-ND-CJ-JSD:18,
    author={Fernando, Dileepa and Dong, Naipeng and Jegourel, Cyrille and Dong, Jin Song},
    title={Verification of strong {Nash}-equilibrium for probabilistic BAR systems},
    booktitle={International Conference on Formal Engineering Methods (ICFEM 2018)},
    pages={106--123},
    year={2018},
    organization={Springer}
}

@inproceedings{MK-GN-DP-GS:20,
    author={Kwiatkowska, Marta and Norman, Gethin and Parker, David and Santos, Gabriel},
    title={Multi-player equilibria verification for concurrent stochastic games},
    booktitle={International Conference on Quantitative Evaluation of Systems},
    pages={74--95},
    year={2020},
    organization={Springer}
}


@inproceedings{SO-JP-CA-JPH-JV:17,
    title={Deep decentralized multi-task multi-agent reinforcement learning under partial observability},
    author={Omidshafiei, Shayegan and Pazis, Jason and Amato, Christopher and How, Jonathan P and Vian, John},
    booktitle={International Conference on Machine Learning (ICML 2017)},
    pages={2681--2690},
    year={2017},
    publisher={JMLR.org}
}

@inproceedings{RY-YW-AT-JH-PA-IM:17,
    author = {Lowe, Ryan and Wu, Yi and Tamar, Aviv and Harb, Jean and Abbeel, Pieter and Mordatch, Igor},
    title = {Multi-Agent Actor-Critic for Mixed Cooperative-Competitive Environments},
    year = {2017},
    booktitle = {Proceedings of the 31st International Conference on Neural Information Processing Systems (NIPS 17)},
    pages = {6382–6393},
    numpages = {12},
    location = {Long Beach, California, USA},
    publisher = {Curran Associates Inc.}
}

@article{MK-GN-DP-GS:21,
    author={Kwiatkowska, Marta and Norman, Gethin and Parker, David and Santos, Gabriel},
    title={Automatic verification of concurrent stochastic systems},
    journal={Formal Methods in System Design},
    pages={1--63},
    year={2021}
}

@ARTICLE{RY-XD-ZS-YS-JRM-FB:21,
  author={Yan, Rui and Duan, Xiaoming and Shi, Zongying and Zhong, Yisheng and Marden, Jason R. and Bullo, Francesco},
  journal={IEEE Transactions on Automatic Control},
  title={Policy Evaluation and Seeking for Multiagent Reinforcement Learning via Best Response}, 
  year={2022},
  volume={67},
  number={4},
  pages={1898-1913}
}


@article{DS-AH-CJM-AG-LS-others:16,
    author={Silver, David and Huang, Aja and Maddison, Chris J and Guez, Arthur and Sifre, Laurent and Van Den Driessche, George and Schrittwieser, Julian and Antonoglou, Ioannis and Panneershelvam, Veda and Lanctot, Marc and others},
    title={Mastering the game of Go with deep neural networks and tree search},
    journal={Nature},
    volume={529},
    number={7587},
    pages={484--489},
    year={2016}
}

@article{SSS-SS-AS:16,
    author={Shalev-Shwartz, Shai and Shammah, Shaked and Shashua, Amnon},
    title={Safe, multi-agent, reinforcement learning for autonomous driving},
    journal={arXiv:1610.03295},
    year={2016}
}


@inproceedings{MEA-EB-PK-AL:20,
    author    = {Michael E. Akintunde and Elena Botoeva and Panagiotis Kouvaros and Alessio Lomuscio},
    title     = {{Verifying Strategic Abilities of Neural-symbolic Multi-agent Systems}},
    booktitle = {{Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020)}},
    pages     = {22--32},
    year      = {2020},
    month     = {9},
    publisher = {IJCAI Organization}
}
  
@inproceedings{DA-OW-BX-BD-JL:11,
    author = {Ayala, Daniel and Wolfson, Ouri and Xu, Bo and Dasgupta, Bhaskar and Lin, Jie},
    title = {Parking Slot Assignment Games},
    year = {2011},
    booktitle = {Proceedings of the 19th ACM SIGSPATIAL International Conference on Advances in Geographic Information Systems},
    pages = {299–308},
    numpages = {10},
    publisher = {Association for Computing Machinery}
}


@inproceedings{MEA-EB-PK-AL:20-2,
    author={Akintunde, Michael E and Botoeva, Elena and Kouvaros, Panagiotis and Lomuscio, Alessio},
    title={Formal Verification of Neural Agents in Non-deterministic Environments.},
    booktitle={Proceedings of the 19th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2020)},
    pages={25--33},
    year={2020},
    organization={Springer},
}

@inproceedings{SGC05,
    author = {Sandholm, Thomas and Gilpin, Andrew and Conitzer, Vincent},
    title = {Mixed-Integer Programming Methods for Finding {Nash} Equilibria},
    year = {2005},
    publisher = {AAAI Press},
    booktitle = {Proceedings of the 20th National Conference on Artificial Intelligence - Volume 2},
    pages = {495–501},
    numpages = {7},
    location = {Pittsburgh, Pennsylvania},
    series = {AAAI'05}
}

@inproceedings{LRTZ06,
    author = {Littman, Michael L. and Ravi, Nishkam and Talwar, Arjun and Zinkevich, Martin},
    title = {An Efficient Optimal-Equilibrium Algorithm for Two-Player Game Trees},
    year = {2006},
    booktitle = {Proceedings of the Twenty-Second Conference on Uncertainty in Artificial Intelligence (UAI 06)},
    pages = {298–305},
    numpages = {8},
    publisher = {AUAI Press}
}

@book{YS-KLB:08,
    author={Shoham, Yoav and Leyton-Brown, Kevin},
    title={Multiagent systems: Algorithmic, game-theoretic, and logical foundations},
    year={2008},
    publisher={Cambridge University Press}
}

@inproceedings{KAH-SCS:20,
    author={Hansen, Kristoffer Arnsfelt and S{\o}lvsten, Steffan Christ},
    title={$\exists\mathbb{R}$-Completeness of Stationary {Nash} Equilibria in Perfect Information Stochastic Games},
    booktitle={45th International Symposium on Mathematical Foundations of Computer Science (MFCS 2020)},
    year={2020}
}

@InProceedings{KC-RM-MJ:04,
    author="Chatterjee, Krishnendu and Majumdar, Rupak and Jurdzi{\'{n}}ski, Marcin",
    title="On {Nash} Equilibria in Stochastic Games ",
    booktitle="Computer Science Logic",
    year="2004",
    publisher="Springer Berlin Heidelberg",
    pages="26--40"
}

@article{KC-TAH:12,
    author = {Krishnendu Chatterjee and Thomas A. Henzinger},
    title = {A survey of stochastic $\omega$-regular games},
    journal = {Journal of Computer and System Sciences},
    volume = {78},
    number = {2},
    pages = {394-413},
    year = {2012}
}

@article{EMDC-MLL:12,
    author    = {Enrique Munoz de Cote and Michael L. Littman},
    title     = {A Polynomial-time {Nash} Equilibrium Algorithm for Repeated Stochastic Games},
    journal   = {CoRR},
    volume    = {abs/1206.3277},
    year      = {2012},
    archivePrefix = {arXiv}
}

@article{MK-16,
    author = {Mitri Kitti},
    title = {Subgame perfect equilibria in discounted stochastic games},
    journal = {Journal of Mathematical Analysis and Applications},
    volume = {435},
    number = {1},
    pages = {253-266},
    year = {2016},
    issn = {0022-247X}
}

@inproceedings{CM-GJG:06,
    author    = {Chris Murray and Geoffrey J. Gordon},
    title     = {Multi-Robot Negotiation: Approximating the Set of Subgame Perfect Equilibria in General-Sum Stochastic Games},
    booktitle = {Advances in Neural Information Processing Systems 19},
    pages     = {1001--1008},
    publisher = {{MIT} Press},
    year      = {2006}
}

@article{APM-WDS:07,
    author    = {Ashok P. Maitra and
               William D. Sudderth},
    title     = {Subgame-Perfect Equilibria for Stochastic Games},
    journal   = {Math. Oper. Res.},
    volume    = {32},
    number    = {3},
    pages     = {711--722},
    year      = {2007}
}

@article{PL-CD:20,
    author    = {Peixuan Li and Chuangyin Dang},
    title     = {An Arbitrary Starting Tracing Procedure for Computing Subgame Perfect Equilibria},
    journal   = {J. Optim. Theory Appl.},
    volume    = {186},
    number    = {2},
    pages     = {667--687},
    year      = {2020}
}

@article{TB-AG-JR:21,
    author    = {Thomas Brihaye and V{\'{e}}ronique Bruy{\`{e}}re and Aline Goeminne and Jean{-}Fran{\c{c}}ois Raskin},
    title     = {Constrained existence problem for weak subgame perfect equilibria with \emph{{\(\omega\)}}-regular Boolean objectives},
    journal   = {Information and Computation},
    volume    = {278},
    pages     = {104594},
    year      = {2021}
}

@inproceedings{MU-DW:09,
    author    = {Michael Ummels and Dominik Wojtczak},
    title     = {Decision Problems for {Nash} Equilibria in Stochastic Games},
    booktitle = {Computer Science Logic, 23rd international Workshop, {CSL} 2009, 18th
               Annual Conference of the EACSL, Coimbra, Portugal, September 7-11,
               2009. Proceedings},
    series    = {Lecture Notes in Computer Science},
    volume    = {5771},
    pages     = {515--529},
    year      = {2009}
}

@article{TB-VB-AG-JR-MB:20,
    author    = {Thomas Brihaye and V{\'{e}}ronique Bruy{\`{e}}re and Aline Goeminne and Jean{-}Fran{\c{c}}ois Raskin and Marie van den Bogaard},
    title     = {The Complexity of Subgame Perfect Equilibria in Quantitative Reachability
               Games},
    journal   = {Logical Methods in Computer Science},
    volume    = {16},
    number    = {4},
    year      = {2020},
    pages = {1--43}
}

@article{TB-VB-AG-NT:21,
    author    = {Thomas Brihaye and V{\'{e}}ronique Bruy{\`{e}}re and Aline Goeminne and Nathan Thomasset},
    title     = {On relevant equilibria in reachability games},
    journal   = {Journal of Computer and System Sciences},
    volume    = {119},
    pages     = {211--230},
    year      = {2021}
}

@inproceedings{MU:06,
    author    = {Michael Ummels},
    title     = {Rational Behaviour and Strategy Construction in Infinite Multiplayer
               Games},
    booktitle = {{FSTTCS} 2006: Foundations of Software Technology and Theoretical
               Computer Science, 26th International Conference, Kolkata, India, December
               13-15, 2006, Proceedings},
    volume    = {4337},
    pages     = {212--223},
    year      = {2006}
}

@article{SY-YC-KLJ:17,
    author    = {Sevin Yeltekin and Yongyang Cai and Kenneth L. Judd},
    title     = {Computing Equilibria of Dynamic Games},
    journal   = {Operations Research},
    volume    = {65},
    number    = {2},
    pages     = {337--356},
    year      = {2017}
}

@article{YL:13,
    author = {Levy, Yehuda},
    title = {Discounted Stochastic Games With No Stationary {Nash} Equilibrium: Two Examples},
    journal = {Econometrica},
    volume = {81},
    number = {5},
    pages = {1973-2007},
    year = {2013}
}

@article{LB-JR-MB:21,
    author    = {L{\'{e}}onard Brice and Jean{-}Fran{\c{c}}ois Raskin and Marie van den Bogaard},
    title     = {Subgame-perfect Equilibria in Mean-payoff Games},
    journal   = {CoRR},
    volume    = {abs/2101.10685},
    year      = {2021},
    url       = {https://arxiv.org/abs/2101.10685},
    archivePrefix = {arXiv}
}

@article{DA-BB-Y:20,
    author = {Abreu, Dilip and Brooks, Benjamin and Sannikov, Yuliy},
    title = {Algorithms for Stochastic Games With Perfect Monitoring},
    journal = {Econometrica},
    volume = {88},
    number = {4},
    pages = {1661-1695},
    year = {2020}
}

@article {ES-NV:15,
	author = {Solan, Eilon and Vieille, Nicolas},
	title = {Stochastic games},
	volume = {112},
	number = {45},
	pages = {13743--13746},
	year = {2015},
	journal = {Proceedings of the National Academy of Sciences}
}

@book{MJO:04,
    title={An introduction to game theory},
    author={Osborne, Martin J and others},
    volume={3},
    year={2004},
    publisher={Oxford university press, New York}
}

@article{JCH:73,
    title={Oddness of the number of equilibrium points: a new proof},
    author={Harsanyi, John C},
    journal={International Journal of Game Theory},
    volume={2},
    number={1},
    pages={235--250},
    year={1973},
    publisher={Springer}
}

@article{RDM-AM:97,
    title={The maximal number of regular totally mixed {Nash} equilibria},
    author={McKelvey, Richard D and McLennan, Andrew},
    journal={Journal of Economic Theory},
    volume={72},
    number={2},
    pages={411--425},
    year={1997},
    publisher={Elsevier}
}

@book{EVD:91,
    title={Stability and perfection of {Nash} equilibria},
    author={Van Damme, Eric},
    volume={339},
    year={1991},
    publisher={Springer}
}

@article{SJW:15,
    title={Coordinate descent algorithms},
    author={Wright, Stephen J},
    journal={Mathematical Programming},
    volume={151},
    number={1},
    pages={3--34},
    year={2015},
    publisher={Springer}
}

@article{SG-RW:12,
    title={Axiomatic Equilibrium Selection for Generic Two-Player Games},
    author={Govindan, Srihari and Wilson, Robert},
    journal={Econometrica},
    volume={80},
    number={4},
    pages={1639--1699},
    year={2012},
    publisher={Wiley Online Library}
}

@article{MP-TH-JDF:19,
    title={Best reply structure and equilibrium convergence in generic games},
    author={Pangallo, Marco and Heinrich, Torsten and Farmer, J Doyne},
    journal={Science advances},
    volume={5},
    number={2},
    pages={eaat1328},
    year={2019},
    publisher={American Association for the Advancement of Science}
}

@misc{gurobi,
    author = {{Gurobi Optimization, LLC}},
    title = {{Gurobi Optimizer Reference Manual}},
    year = {2021},
    url = {https://www.gurobi.com}
}

@misc{MEA-EB-PK-AL:20-files,
    author={Michael E Akintunde, Elena Botoeva, Panagiotis Kouvaros and Alessio Lomuscio},
    title={VENMAS: Verification of neural-symbolic multi-agent systems},
    note={{h}ttps://vas.doc.ic.ac.uk/software/neural/.},
    month={},
    year={2020},    
    key={}
}
    
% note={\href{https://vas.doc.ic.ac.uk/software/neural/}{https://vas.doc.ic.ac.uk/software/neural/.} [Accessed: September 2020]},

@inproceedings{KNPS22,
    author={Marta Kwiatkowska and Gethin Norman and David Parker and Gabriel Santos},
    title={Correlated Equilibria and Fairness in Concurrent Stochastic Games},
    booktitle={Proc. 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'22)},
    year={2022},
    publisher={Springer},
    series={LNCS}
}

@article{LSS:53,
  title={Stochastic games},
  author={Shapley, Lloyd S},
  journal={Proc.\ National Academy of Sciences},
  volume={39},
  number={10},
  pages={1095--1100},
  year={1953},
  publisher={National Acad Sciences}
}

@article{AHK07,
	author={De Alfaro, Luca and Henzinger, Thomas A and Kupferman, Orna},
	title={Concurrent reachability games},
	journal={Theoretical Computer Science},
	volume={386},
	number={3},
	pages={188--217},
	year={2007}
}

@article{AM04,
	author={de Alfaro, Luca and Majumdar, Rupak},
	title={Quantitative solution of omega-regular games},
	journal={Journal of Computer and System Sciences},
	volume={68},
	number={2},
	pages={374--397},
	year={2004}
}

@article{CAH13,
	author={Krishnendu Chatterjee and Luca {de Alfaro} and Thomas A. Henzinger},
	title={Strategy improvement for concurrent reachability and turn-based stochastic safety games},
	journal={Journal of Computer and System Sciences},
	volume={79},
	number={5},
	pages={640--657},
	year={2013}
}

@inproceedings{PCA21,
    author={Georgios Papoudakis and Filippos Christianos and Stefano V. Albrecht},
    title={Agent Modelling under Partial Observability for Deep Reinforcement Learning},
    booktitle={proc. 35th Conference on Neural Information Processing Systems (NeurIPS'21)},
    year={2021}
}

@inproceedings{KNPS19,
    author={Kwiatkowska, Marta and Norman, Gethin and Parker, David and Santos, Gabriel},
    title={Equilibria-based Probabilistic Model Checking for Concurrent Stochastic Games},
    booktitle={Proc. 23rd International Symposium on Formal Methods (FM'19)},
    year={2019},
    pages={298-315},
    publisher={Springer},
    series={LNCS},
    volume={11800}
}

@book{SL-B09,
  	title = {Multiagent Systems: Algorithmic, Game-Theoretic, and Logical Foundations},
  	author = {Y. Shoham and K. Leyton-Brown},
  	_abstract = {Multiagent systems combine multiple autonomous entities, each having diverging interests or different information. This overview of the field offers a computer science perspective, but also draws on ideas from game theory, economics, operations research, logic, philosophy and linguistics. It will serve as a reference for researchers in each of these fields, and be used as a text for advanced undergraduate or graduate courses. The authors emphasize foundations to create a broad and rigorous treatment of their subject, with thorough presentations of distributed problem solving, game theory, multiagent communication and learning, social choice, mechanism design, auctions, cooperative game theory, and modal logics of knowledge and belief. For each topic, basic concepts are introduced, examples are given, proofs of key results are offered, and algorithmic considerations are examined. An appendix covers background material in probability theory, classical logic, Markov decision processes and mathematical programming.},
  	_address = {Cambridge, UK},
  	_isbn = {978-0-521-89943-7},
 	publisher = {Cambridge University Press},
  	year = {2009}
}

@article{RC-CI-RM-CP-MAS-GV:22,
  title={Discrete-Event Controller Synthesis for Autonomous Systems with Deep-Learning Perception Components},
  author={Calinescu, Radu and Imrie, Calum and Mangal, Ravi and P{\u{a}}s{\u{a}}reanu, Corina and Santana, Misael Alpizar and V{\'a}zquez, Gricel},
  journal={arXiv:2202.03360},
  year={2022}
}

@article{GZ89,
    author = {I. Gilboa and E. Zemel},
    title = {Nash and correlated equilibria: Some complexity considerations},
    journal = {Games and Economic Behavior},
    volume = {1},
    number = {1},
    pages = {80--93},
    year = {1989}
}

@article{DGP09,
    author={C. Daskalakis and P. Goldberg and C. Papadimitriou},
    title={The Complexity of Computing a {Nash} Equilibrium},
    journal={Communications of the ACM},
    year={2009},
    volume={52},
    number={2},
    pages={89--97}
}

@article{CDT09,
	author = {X. Chen and X. Deng and S-H. Teng},
    title = {Settling the Complexity of Computing Two-Player {Nash} Equilibria},
    year = {2009},
    publisher = {Association for Computing Machinery},
    volume = {56},
    number = {3},
    journal = {J. ACM},
    numpages = {57}
}

@inproceedings{BBG+19,
    author={T. Brihaye and V. Bruy{\`e}re and A. Goeminne and J.-F. Raskin and M. van den Bogaard},
    title={The Complexity of Subgame Perfect Equilibria in Quantitative Reachability Games},
    booktitle={Proc.\ {CONCUR}'19},
    pages={13:1--13:16},
    series={LIPIcs},
    year={2019},
    volume={140},
    editor={Wan Fokkink and Rob van Glabbeek},
    publisher={Leibniz-Zentrum f{\"u}r Informatik}
}