---
res:
  bibo_abstract:
  - 'We present a flexible and efficient toolchain to symbolically solve (standard)
    Rabin games, fair-adversarial Rabin games, and 2 1/2 license type-player Rabin
    games. To our best knowledge, our tools are the first ones to be able to solve
    these problems. Furthermore, using these flexible game solvers as a back-end,
    we implemented a tool for computing correct-by-construction controllers for stochastic
    dynamical systems under LTL specifications. Our implementations use the recent
    theoretical result that all of these games can be solved using the same symbolic
    fixpoint algorithm but utilizing different, domain specific calculations of the
    involved predecessor operators. The main feature of our toolchain is the utilization
    of two programming abstractions: one to separate the symbolic fixpoint computations
    from the predecessor calculations, and another one to allow the integration of
    different BDD libraries as back-ends. In particular, we employ a multi-threaded
    execution of the fixpoint algorithm by using the multi-threaded BDD library Sylvan,
    which leads to enormous computational savings.@eng'
  bibo_authorlist:
  - foaf_Person:
      foaf_givenName: Rupak
      foaf_name: Majumdar, Rupak
      foaf_surname: Majumdar
  - foaf_Person:
      foaf_givenName: Kaushik
      foaf_name: Mallik, Kaushik
      foaf_surname: Mallik
      foaf_workInfoHomepage: http://www.librecat.org/personId=0834ff3c-6d72-11ec-94e0-b5b0a4fb8598
    orcid: 0000-0001-9864-7475
  - foaf_Person:
      foaf_givenName: Mateusz
      foaf_name: Rychlicki, Mateusz
      foaf_surname: Rychlicki
  - foaf_Person:
      foaf_givenName: Anne-Kathrin
      foaf_name: Schmuck, Anne-Kathrin
      foaf_surname: Schmuck
  - foaf_Person:
      foaf_givenName: Sadegh
      foaf_name: Soudjani, Sadegh
      foaf_surname: Soudjani
  bibo_doi: 10.1007/978-3-031-37709-9_1
  bibo_volume: 13966
  dct_date: 2023^xs_gYear
  dct_identifier:
  - UT:001310805600001
  dct_isPartOf:
  - http://id.crossref.org/issn/0302-9743
  - http://id.crossref.org/issn/1611-3349
  - http://id.crossref.org/issn/9783031377082
  dct_language: eng
  dct_publisher: Springer Nature@
  dct_title: A flexible toolchain for symbolic rabin games under fair and stochastic
    uncertainties@
...