scientific article
From MaRDI portal
Publication:2708466
zbMath0970.68088MaRDI QIDQ2708466
Publication date: 17 April 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
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:
