@inproceedings{DBLP:conf/atal/BelardinelliJMM24,
  author       = {Francesco Belardinelli and
                  Wojtek Jamroga and
                  Munyque Mittelmann and
                  Aniello Murano},
  editor       = {Mehdi Dastani and
                  Jaime Sim{\~{a}}o Sichman and
                  Natasha Alechina and
                  Virginia Dignum},
  title        = {Verification of Stochastic Multi-Agent Systems with Forgetful Strategies},
  booktitle    = {Proceedings of the 23rd International Conference on Autonomous Agents
                  and Multiagent Systems, {AAMAS} 2024, Auckland, New Zealand, May 6-10,
                  2024},
  pages        = {160--169},
  publisher    = {International Foundation for Autonomous Agents and Multiagent Systems
                  / {ACM}},
  year         = {2024},
  url          = {https://dl.acm.org/doi/10.5555/3635637.3662863},
  doi          = {10.5555/3635637.3662863},
  timestamp    = {Wed, 26 Jun 2024 14:06:50 +0200},
  biburl       = {https://dblp.org/rec/conf/atal/BelardinelliJMM24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"BbRA3QZtgGZ4haQZF","bibbaseid":"belardinelli-jamroga-mittelmann-murano-verificationofstochasticmultiagentsystemswithforgetfulstrategies-2024","author_short":["Belardinelli, F.","Jamroga, W.","Mittelmann, M.","Murano, A."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Francesco"],"propositions":[],"lastnames":["Belardinelli"],"suffixes":[]},{"firstnames":["Wojtek"],"propositions":[],"lastnames":["Jamroga"],"suffixes":[]},{"firstnames":["Munyque"],"propositions":[],"lastnames":["Mittelmann"],"suffixes":[]},{"firstnames":["Aniello"],"propositions":[],"lastnames":["Murano"],"suffixes":[]}],"editor":[{"firstnames":["Mehdi"],"propositions":[],"lastnames":["Dastani"],"suffixes":[]},{"firstnames":["Jaime","Simão"],"propositions":[],"lastnames":["Sichman"],"suffixes":[]},{"firstnames":["Natasha"],"propositions":[],"lastnames":["Alechina"],"suffixes":[]},{"firstnames":["Virginia"],"propositions":[],"lastnames":["Dignum"],"suffixes":[]}],"title":"Verification of Stochastic Multi-Agent Systems with Forgetful Strategies","booktitle":"Proceedings of the 23rd International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2024, Auckland, New Zealand, May 6-10, 2024","pages":"160–169","publisher":"International Foundation for Autonomous Agents and Multiagent Systems / ACM","year":"2024","url":"https://dl.acm.org/doi/10.5555/3635637.3662863","doi":"10.5555/3635637.3662863","timestamp":"Wed, 26 Jun 2024 14:06:50 +0200","biburl":"https://dblp.org/rec/conf/atal/BelardinelliJMM24.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/atal/BelardinelliJMM24,\n author = {Francesco Belardinelli and\n Wojtek Jamroga and\n Munyque Mittelmann and\n Aniello Murano},\n editor = {Mehdi Dastani and\n Jaime Sim{\\~{a}}o Sichman and\n Natasha Alechina and\n Virginia Dignum},\n title = {Verification of Stochastic Multi-Agent Systems with Forgetful Strategies},\n booktitle = {Proceedings of the 23rd International Conference on Autonomous Agents\n and Multiagent Systems, {AAMAS} 2024, Auckland, New Zealand, May 6-10,\n 2024},\n pages = {160--169},\n publisher = {International Foundation for Autonomous Agents and Multiagent Systems\n / {ACM}},\n year = {2024},\n url = {https://dl.acm.org/doi/10.5555/3635637.3662863},\n doi = {10.5555/3635637.3662863},\n timestamp = {Wed, 26 Jun 2024 14:06:50 +0200},\n biburl = {https://dblp.org/rec/conf/atal/BelardinelliJMM24.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Belardinelli, F.","Jamroga, W.","Mittelmann, M.","Murano, A."],"editor_short":["Dastani, M.","Sichman, J. S.","Alechina, N.","Dignum, V."],"key":"DBLP:conf/atal/BelardinelliJMM24","id":"DBLP:conf/atal/BelardinelliJMM24","bibbaseid":"belardinelli-jamroga-mittelmann-murano-verificationofstochasticmultiagentsystemswithforgetfulstrategies-2024","role":"author","urls":{"Paper":"https://dl.acm.org/doi/10.5555/3635637.3662863"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://dblp.org/pid/41/1330.bib","dataSources":["rcc5nk8gmLmyRucnQ"],"keywords":[],"search_terms":["verification","stochastic","multi","agent","systems","forgetful","strategies","belardinelli","jamroga","mittelmann","murano"],"title":"Verification of Stochastic Multi-Agent Systems with Forgetful Strategies","year":2024}