KR2021Proceedings of the 18th International Conference on Principles of Knowledge Representation and ReasoningProceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning

Online event. November 3-12, 2021.

Edited by
  1. Meghyn Bienvenu
  2. Gerhard Lakemeyer
  3. Esra Erdem

ISSN: 2334-1033
ISBN: 978-1-956792-99-7

Sponsored by
Published by

Copyright © 2021 International Joint Conferences on Artificial Intelligence Organization

Rational Verification for Probabilistic Systems

  1. Julian Gutierrez(Monash University)
  2. Lewis Hammond(University of Oxford)
  3. Anthony W. Lin(University of Kaiserslautern)
  4. Muhammad Najib(University of Kaiserslautern)
  5. Michael Wooldridge(University of Oxford)

Bibtex record

@inproceedings{KR2021-30,
    title     = {{Rational Verification for Probabilistic Systems}},
    author    = {Gutierrez, Julian and Hammond, Lewis and Lin, Anthony W. and Najib, Muhammad and Wooldridge, Michael},
    booktitle = {{Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning}},
    pages     = {312--322},
    year      = {2021},
    month     = {11},
    doi       = {10.24963/kr.2021/30},
    url       = {https://doi.org/10.24963/kr.2021/30},
  }
Go back