Source: wikibot/lazy-linear-hybrid-automaton

= Lazy linear hybrid automaton
{wiki=Lazy_linear_hybrid_automaton}