---
res:
  bibo_abstract:
  - "An automaton \U0001D49C is history-deterministic if its nondeterminism can be
    resolved on the fly, only using the prefix of the word read so far. This mild
    form of nondeterminism has attracted particular attention for its applications
    in synthesis problems. An automaton \U0001D49C is guidable with respect to a class
    C of automata if it can fairly simulate every automaton in C, whose language is
    contained in that of \U0001D49C. In other words, guidable automata are those for
    which inclusion and simulation coincide, making them particularly interesting
    for model-checking. We study the connection between these two notions, and specifically
    the question of when they coincide. For classes of automata on which they do,
    deciding guidability, an otherwise challenging decision problem, reduces to deciding
    history-determinism, a problem that is starting to be well-understood for many
    classes. We provide a selection of sufficient criteria for a class of automata
    to guarantee the coincidence of the notions, and use them to show that the notions
    coincide for the most common automata classes, among which are ω-regular automata
    and many infinite-state automata with safety and reachability acceptance conditions,
    including vector addition systems with states, one-counter nets, pushdown-, Parikh-,
    and timed-automata. We also demonstrate that history-determinism and guidability
    do not always coincide, for example, for the classes of timed automata with a
    fixed number of clocks.@eng"
  bibo_authorlist:
  - foaf_Person:
      foaf_givenName: Udi
      foaf_name: Boker, Udi
      foaf_surname: Boker
      foaf_workInfoHomepage: http://www.librecat.org/personId=31E297B6-F248-11E8-B48F-1D18A9856A87
  - foaf_Person:
      foaf_givenName: Thomas A
      foaf_name: Henzinger, Thomas A
      foaf_surname: Henzinger
      foaf_workInfoHomepage: http://www.librecat.org/personId=40876CD8-F248-11E8-B48F-1D18A9856A87
    orcid: 0000-0002-2985-7724
  - foaf_Person:
      foaf_givenName: Karoliina
      foaf_name: Lehtinen, Karoliina
      foaf_surname: Lehtinen
  - foaf_Person:
      foaf_givenName: Aditya
      foaf_name: Prakash, Aditya
      foaf_surname: Prakash
  bibo_doi: 10.4230/LIPIcs.CONCUR.2024.12
  bibo_volume: 311
  dct_date: 2024^xs_gYear
  dct_identifier:
  - UT:001556847400012
  dct_isPartOf:
  - http://id.crossref.org/issn/1868-8969
  - http://id.crossref.org/issn/9783959773393
  dct_language: eng
  dct_publisher: Schloss Dagstuhl - Leibniz-Zentrum für Informatik@
  dct_title: History-determinism vs fair simulation@
...