h1

% IMPORTANT: The following is UTF-8 encoded.  This means that in the presence
% of non-ASCII characters, it will not work with BibTeX 0.99 or older.
% Instead, you should use an up-to-date BibTeX implementation like “bibtex8” or
% “biber”.

@INPROCEEDINGS{Spork:1005879,
      author       = {Spork, Timm and Baier, Christel and Katoen, Joost-Pieter
                      and Piribauer, Jakob and Quatmann, Tim},
      title        = {{A} {S}pectrum of {A}pproximate {P}robabilistic
                      {B}isimulations},
      volume       = {311},
      address      = {Wadern},
      publisher    = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH},
      reportid     = {RWTH-2025-02073},
      series       = {Leibniz international proceedings in informatics},
      pages        = {37:1-37:19},
      year         = {2024},
      comment      = {35th International Conference on Concurrency Theory :
                      CONCUR 2024, September 9-13, 2024, Calgary, Canada / edited
                      by Rupak Majumdar, Alexandra Silva},
      booktitle     = {35th International Conference on
                       Concurrency Theory : CONCUR 2024,
                       September 9-13, 2024, Calgary, Canada /
                       edited by Rupak Majumdar, Alexandra
                       Silva},
      month         = {Sep},
      date          = {2024-09-09},
      organization  = {35. International Conference on
                       Concurrency Theory, Calgary (Canada), 9
                       Sep 2024 - 13 Sep 2024},
      keywords     = {Abstraction (Other) / Approximate bisimulation (Other) /
                      Markov chains (Other) / Model checking (Other) / Theory of
                      computation → Logic and verification (Other) / Theory of
                      computation → Random walks and Markov chains (Other)},
      cin          = {121310 / 080017 / 120000},
      cid          = {$I:(DE-82)121310_20140620$ / $I:(DE-82)080017_20140620$ /
                      $I:(DE-82)120000_20140620$},
      pnm          = {MKW NRW 005-2401-0001 - VerifAIPO : Verifying Al Systems
                      under Partial Observability (005-2401-0001)},
      pid          = {G:(MKW NRW)005-2401-0001},
      typ          = {PUB:(DE-HGF)7 / PUB:(DE-HGF)8},
      UT           = {WOS:001556847400037},
      doi          = {10.4230/LIPICS.CONCUR.2024.37},
      url          = {https://publications.rwth-aachen.de/record/1005879},
}