BibTeX record conf/atal/LomuscioP20

download as .bib file

@inproceedings{DBLP:conf/atal/LomuscioP20,
  author       = {Alessio Lomuscio and
                  Edoardo Pirovano},
  editor       = {Amal El Fallah Seghrouchni and
                  Gita Sukthankar and
                  Bo An and
                  Neil Yorke{-}Smith},
  title        = {Parameterised Verification of Strategic Properties in Probabilistic
                  Multi-Agent Systems},
  booktitle    = {Proceedings of the 19th International Conference on Autonomous Agents
                  and Multiagent Systems, {AAMAS} '20, Auckland, New Zealand, May 9-13,
                  2020},
  pages        = {762--770},
  publisher    = {International Foundation for Autonomous Agents and Multiagent Systems},
  year         = {2020},
  url          = {https://dl.acm.org/doi/10.5555/3398761.3398852},
  doi          = {10.5555/3398761.3398852},
  timestamp    = {Tue, 26 Jul 2022 17:09:52 +0200},
  biburl       = {https://dblp.org/rec/conf/atal/LomuscioP20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.