Gabriele Monaco <[email protected]> writes: > Describe theory and implementation of hybrid automata in the dedicated > page hybrid_automata.rst > Include a section on how to integrate a hybrid automaton in > monitor_synthesis.rst > Also remove a hanging $ in deterministic_automata.rst > > Signed-off-by: Gabriele Monaco <[email protected]>
Reviewed-by: Nam Cao <[email protected]>
