Conformance Games for Graded Semantics (bibtex)

by Jonas Forster, Lutz Schröder and Paul Wild

Reference:

Jonas Forster, Lutz Schröder and Paul Wild: Conformance Games for Graded Semantics, In 40th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2025, Singapore, June 23-26, 2025, pp. 555–567, IEEE, 2025.

Bibtex Entry:

@inproceedings{DBLP:conf/lics/ForsterSW25,
  author       = {Jonas Forster and
                  Lutz Schr{\"{o}}der and
                  Paul Wild},
  title        = {Conformance Games for Graded Semantics},
  booktitle    = {40th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS}
                  2025, Singapore, June 23-26, 2025},
  pages        = {555--567},
  publisher    = {{IEEE}},
  year         = {2025},
  url          = {https://doi.org/10.1109/LICS65433.2025.00048},
  doi          = {10.1109/LICS65433.2025.00048},
  timestamp    = {Tue, 21 Oct 2025 20:15:58 +0200},
  biburl       = {https://dblp.org/rec/conf/lics/ForsterSW25.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}