References

  1. Rajeev Alur, Thomas A Henzinger & Orna Kupferman (2002): Alternating-time temporal logic. Journal of the ACM (JACM) 49(5), pp. 672–713, doi:10.1145/585265.585270.
  2. Rajeev Alur, Thomas A Henzinger, Freddy YC Mang, Shaz Qadeer, Sriram K Rajamani & Serdar Tasiran (1998): MOCHA: Modularity in model checking. In: CAV. Springer, pp. 521–525, doi:10.1007/BFb0028774.
  3. Nils Bulling & Valentin Goranko (2022): Combining quantitative and qualitative reasoning in concurrent multi-player games. Autonomous Agents and Multi-Agent Systems 36(1), pp. 1–33, doi:10.1007/s10458-021-09531-9.
  4. Fangzhe Chang, Jennifer Ren & Ramesh Viswanathan (2010): Optimal resource allocation in clouds. In: 2010 IEEE 3rd International Conference on Cloud Computing. IEEE, pp. 418–425, doi:10.1109/CLOUD.2010.38.
  5. Krishnendu Chatterjee & Laurent Doyen (2012): Energy parity games. Theoretical Computer Science 458, pp. 49–60, doi:10.1016/j.tcs.2012.07.038.
  6. Krishnendu Chatterjee, Thomas A Henzinger & Marcin Jurdzinski (2005): Mean-payoff parity games. In: 20th Annual IEEE Symposium on Logic in Computer Science (LICS'05). IEEE, pp. 178–187, doi:10.1109/LICS.2005.26.
  7. Alessandro Cimatti, Edmund Clarke, Fausto Giunchiglia & Marco Roveri (2000): NuSMV: a new symbolic model checker. STTT 2(4), pp. 410–425, doi:10.1007/s100090050046.
  8. Riccardo De Masellis, Valentin Goranko, Stefan Gruner & Nils Timm (2018): Generalising the Dining Philosophers problem: competitive dynamic resource allocation in multi-agent systems. In: European Conference on Multi-Agent Systems. Springer, pp. 30–47, doi:10.1007/978-3-030-14174-5_3.
  9. Rayna Dimitrova, Mahsa Ghasemi & Ufuk Topcu (2020): Reactive synthesis with maximum realizability of linear temporal logic specifications. Acta Informatica 57(1), pp. 107–135, doi:10.1007/s00236-019-00348-4.
  10. Bernd Finkbeiner, Christopher Hahn & Hazem Torfah (2018): Model checking quantitative hyperproperties. In: International Conference on Computer Aided Verification. Springer, pp. 144–163, doi:10.1007/978-3-319-96145-3_8.
  11. Julian Gutierrez, Aniello Murano, Giuseppe Perelli, Sasha Rubin, Thomas Steeples & Michael Wooldridge (2021): Equilibria for games with combined qualitative and quantitative objectives. Acta Informatica 58(6), pp. 585–610, doi:10.1007/s00236-020-00385-4.
  12. Julian Gutierrez, Aniello Murano, Giuseppe Perelli, Sasha Rubin & Michael Wooldridge (2017): Nash equilibria in concurrent games with lexicographic preferences, doi:10.24963/ijcai.2017/148.
  13. Pierre Hansen & Brigitte Jaumard (1990): Algorithms for the maximum satisfiability problem. Computing 44(4), pp. 279–303, doi:10.1007/BF02241270.
  14. James F. Kurose & Rahul Simha (1989): A microeconomic approach to optimal resource allocation in distributed computer systems. IEEE Transactions on computers 38(5), pp. 705–717, doi:10.1109/12.24272.
  15. Xiaojuan Liao (2014): Maximum Satisfiability Approach to Game Theory and Network Security. Kyushu University.
  16. Alessio Lomuscio, Hongyang Qu & Franco Raimondi (2017): MCMAS: an open-source model checker for the verification of multi-agent systems. STTT 19(1), pp. 9–30, doi:10.1007/s10009-015-0378-x.
  17. Ruben Martins, Norbert Manthey, Miguel Terra-Neves, Vasco Manquinho & Inês Lynce (2021): Open-WBO@ MaxSAT Evaluation 2020. MaxSAT Evaluation 2020, pp. 24.
  18. Amrit Mukherjee, Pratik Goswami, Ziwei Yan, Lixia Yang & Joel JPC Rodrigues (2019): ADAI and adaptive PSO-based resource allocation for wireless sensor networks. IEEE Access 7, pp. 131163–131171, doi:10.1109/ACCESS.2019.2940821.
  19. Arun Sukumaran Nair, Tareq Hossen, Mitch Campion, Daisy Flora Selvaraj, Neena Goveas, Naima Kaabouch & Prakash Ranganathan (2018): Multi-agent systems for resource allocation and scheduling in a smart grid. Technology and Economics of Smart Grids and Sustainable Energy 3(1), pp. 1–15, doi:10.1007/s40866-018-0052-y.
  20. John F Nash Jr (1950): Equilibrium points in n-person games. Proceedings of the national academy of sciences 36(1), pp. 48–49, doi:10.1073/pnas.36.1.48.
  21. Jerzy Pilecki, Marek A Bednarczyk & Wojciech Jamroga (2017): SMC: synthesis of uniform strategies and verification of strategic ability for multi-agent systems. Journal of Logic and Computation 27(7), pp. 1871–1895, doi:10.1093/logcom/exw032.
  22. Sven Schewe (2008): ATL* satisfiability is 2EXPTIME-complete. In: International colloquium on automata, languages, and programming. Springer, pp. 373–385, doi:10.1007/978-3-540-70583-3_31.
  23. Nils Timm & Josua Botha (2021): Model Checking and Strategy Synthesis for Multi-agent Systems for Resource Allocation. In: Brazilian Symposium on Formal Methods. Springer, pp. 53–69, doi:10.1007/978-3-030-92137-8_4.
  24. Nils Timm, Stefan Gruner, Madoda Nxumalo & Josua Botha (2020): Model checking safety and liveness via k-induction and witness refinement with constraint generation. Science of Computer Programming 200, pp. 102532, doi:10.1016/j.scico.2020.102532.
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org