---
res:
  bibo_abstract:
  - A hybrid system is a dynamical system whose behavior exhibits both discrete and
    continuous change. A hybrid automaton is a mathematical model for hybrid systems,
    which combines, in a single formalism, automaton transitions for capturing discrete
    change with differential equations for capturing continuous change. HyTech is
    a symbolic model checker for linear hybrid automata, a subclass of hybrid automata
    that can be analyzed automatically by computing with polyhedral state sets. A
    key feature of HyTech is its ability to perform parametric analysis, i.e., to
    determine the values of design parameters for which a linear hybrid automaton
    satisfies a temporal-logic requirement.@eng
  bibo_authorlist:
  - 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: Pei
      foaf_name: Ho, Pei
      foaf_surname: Ho
  - foaf_Person:
      foaf_givenName: Howard
      foaf_name: Wong Toi, Howard
      foaf_surname: Wong Toi
  bibo_doi: 10.1007/s100090050008
  bibo_issue: 1-2
  bibo_volume: 1
  dct_date: 1997^xs_gYear
  dct_isPartOf:
  - http://id.crossref.org/issn/1433-2779
  dct_language: eng
  dct_publisher: Springer@
  dct_title: 'HyTech: A model checker for hybrid systems@'
...