---
res:
  bibo_abstract:
  - We propose a flexible exchange format for ω-automata, as typically used in formal
    verification, and implement support for it in a range of established tools. Our
    aim is to simplify the interaction of tools, helping the research community to
    build upon other people’s work. A key feature of the format is the use of very
    generic acceptance conditions, specified by Boolean combinations of acceptance
    primitives, rather than being limited to common cases such as Büchi, Streett,
    or Rabin. Such flexibility in the choice of acceptance conditions can be exploited
    in applications, for example in probabilistic model checking, and furthermore
    encourages the development of acceptance-agnostic tools for automata manipulations.
    The format allows acceptance conditions that are either state-based or transition-based,
    and also supports alternating automata.@eng
  bibo_authorlist:
  - foaf_Person:
      foaf_givenName: Tomáš
      foaf_name: Babiak, Tomáš
      foaf_surname: Babiak
  - foaf_Person:
      foaf_givenName: František
      foaf_name: Blahoudek, František
      foaf_surname: Blahoudek
  - foaf_Person:
      foaf_givenName: Alexandre
      foaf_name: Duret Lutz, Alexandre
      foaf_surname: Duret Lutz
  - foaf_Person:
      foaf_givenName: Joachim
      foaf_name: Klein, Joachim
      foaf_surname: Klein
  - foaf_Person:
      foaf_givenName: Jan
      foaf_name: Kretinsky, Jan
      foaf_surname: Kretinsky
      foaf_workInfoHomepage: http://www.librecat.org/personId=44CEF464-F248-11E8-B48F-1D18A9856A87
    orcid: 0000-0002-8122-2881
  - foaf_Person:
      foaf_givenName: Daniel
      foaf_name: Mueller, Daniel
      foaf_surname: Mueller
  - foaf_Person:
      foaf_givenName: David
      foaf_name: Parker, David
      foaf_surname: Parker
  - foaf_Person:
      foaf_givenName: Jan
      foaf_name: Strejček, Jan
      foaf_surname: Strejček
  bibo_doi: 10.1007/978-3-319-21690-4_31
  bibo_volume: 9206
  dct_date: 2015^xs_gYear
  dct_identifier:
  - UT:000364182900031
  dct_language: eng
  dct_publisher: Springer@
  dct_title: The Hanoi omega-automata format@
...