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/abs/10.5555/3398761.3398852},
  timestamp = {Fri, 05 Jun 2020 12:49:45 +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