Publication:2708466
From MaRDI portal
zbMath0970.68088MaRDI QIDQ2708466
Publication date: 17 April 2001
68Q45: Formal languages and automata
Related Items
Learning One-Clock Timed Automata, Formal language properties of hybrid systems with strong resets, Equivalence checking and intersection of deterministic timed finite state machines, Active learning of one-clock timed automata using constraint solving, Efficiently identifying deterministic real-time automata from labeled data, On the complexity of timed pattern matching, A study on shuffle, stopwatches and independently evolving clocks, Detectability of labeled weighted automata over monoids