scientific article

zbMath0970.68088MaRDI QIDQ2708466

Catalin Dima

Publication date: 17 April 2001

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

timed automata

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Related Items (8)

Learning One-Clock Timed Automata ⋮ On the complexity of timed pattern matching ⋮ A study on shuffle, stopwatches and independently evolving clocks ⋮ 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 ⋮ Formal language properties of hybrid systems with strong resets ⋮ Detectability of labeled weighted automata over monoids

This page was built for publication: