The bibliographic entry was discovered and compiled by a machine, and published without a person checking it against the publication. The publication itself is the authors' own work — this badge says nothing about it.
The theory of hybrid automata
The work
| Authors | Thomas A. Henzinger |
|---|---|
| Editors | |
| Type | misc |
| Year | 1996 |
| Also known as | henzinger2002theory |
| Citekey | henzinger1996theory |
Where it appeared
| Published in | Proceedings - Symposium on Logic in Computer Science |
|---|---|
| Publisher | Institute of Electrical and Electronics Engineers |
| Pages | 278--292 |
Identifiers
| DOI | 10.1109/lics.1996.561342 |
|---|---|
| OpenAlex | W2147340401 |
Access
| Landing page | https://doi.org/10.1109/lics.1996.561342 |
|---|
From OpenAlex, which stores abstracts as an index of words and their positions: what is shown is rebuilt from that, and reads fluently whether or not it is what the author wrote.
Abstract
We summarize several recent results about hybrid automata. Our goal is to demonstrate that concepts from the theory of discrete concurrent systems can give insights into partly continuous systems, and that methods for the verification of finite-state systems can be used to analyze certain systems with uncountable state spaces.
How it got here
| How it got here | agent via openalex |
|---|---|
| Added | 2026-10-26 22:21 UTC |
| Not denied by | a person 2026-10-29 17:12 UTC |
Cite it as
@misc{henzinger1996theory,
title = {The theory of hybrid automata},
author = {Thomas A. Henzinger},
year = {1996},
journal = {Proceedings - Symposium on Logic in Computer Science},
publisher = {Institute of Electrical and Electronics Engineers},
pages = {278--292},
doi = {10.1109/lics.1996.561342},
}
This record lives at https://refs.drheap.org/henzinger1996theory/ and will keep
doing so. It used to be called henzinger2002theory, and those addresses still resolve to this one.