Spectral Gap in Timed Automata
From MaRDI portal
Publication:2842656
DOI10.1007/978-3-642-40229-6_2zbMath1390.68372OpenAlexW1749689099MaRDI QIDQ2842656
Nicolas Basset, Eugene Asarin, Aldric Degorre
Publication date: 16 August 2013
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-40229-6_2
Formal languages and automata (68Q45) Spectrum, resolvent (47A10) Positive linear operators and order-bounded operators (47B65) Measures of information, entropy (94A17)
Related Items
Timed Symbolic Dynamics ⋮ Entropy of regular timed languages ⋮ A maximal entropy stochastic process for a timed automaton
This page was built for publication: Spectral Gap in Timed Automata