BibTeX record conf/atal/KurpiewskiPJK21

• > Home > conf/atal/KurpiewskiPJK21

@inproceedings{DBLP:conf/atal/KurpiewskiPJK21,
  author       = {Damian Kurpiewski and
                  Witold Pazderski and
                  Wojciech Jamroga and
                  Yan Kim},
  editor       = {Frank Dignum and
                  Alessio Lomuscio and
                  Ulle Endriss and
                  Ann Now{\'{e}}},
  title        = {STV+Reductions: Towards Practical Verification of Strategic Ability
                  Using Model Reductions},
  booktitle    = {{AAMAS} '21: 20th International Conference on Autonomous Agents and
                  Multiagent Systems, Virtual Event, United Kingdom, May 3-7, 2021},
  pages        = {1770--1772},
  publisher    = {{ACM}},
  year         = {2021},
  url          = {https://www.ifaamas.org/Proceedings/aamas2021/pdfs/p1770.pdf},
  doi          = {10.5555/3463952.3464232},
  timestamp    = {Wed, 20 Jul 2022 17:05:35 +0200},
  biburl       = {https://dblp.org/rec/conf/atal/KurpiewskiPJK21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}