Decidability of Timed Monitorability for Deterministic Automata

Monitorability is decidable for deterministic Timed Muller Automata but undecidable for nondeterministic Timed Büchi Automata, with computable bounds only for the former. Read more: getnews.me/decidability-of-timed-mo... #timedautomata #monitorability