1==================== 2Runtime Verification 3==================== 4 5.. toctree:: 6 :maxdepth: 2 7 :glob: 8 9 runtime-verification.rst 10 deterministic_automata.rst 11 da_monitor_synthesis.rst 12