Assertion: hybrid automaton | /r/HasProperty | popular model
Facets:
Source sentences:
text: Hybrid automata come in several flavors: The Alur-Henzinger hybrid automaton is a popular model; it was developed primarily for algorithmic analysis of hybrid systems model checking.