Assertion: hybrid automaton | /r/CapableOf | come in several flavors
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.