Two size measures for timed languages

DOI10.4230/LIPICS.FSTTCS.2010.376MaRDI QIDQ2908867zbMATH OpenFDO

Authors Eugene Asarin, Aldric Degorre

Publication date 29 August 2012

Full work available at URL http://subs.emis.de/LIPIcs/frontdoor_b144.html

zbMATH Keywords

entropymean dimensiontimed automata

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Measures of information, entropy (94A17)

Recommendations

• Foundations of Software Science and Computation Structures
• A Machine-Independent Characterization of Timed Languages
• Generating Functions of Timed Languages
• Thin and thick timed regular languages
• A logical characterization of timed (non-)regular languages
• Volume and entropy of regular timed languages: analytic approach
• Formal Modeling and Analysis of Timed Systems
• A nonarchimedian discretization for timed languages
• A logical characterization of timed regular languages

Cited in

(8)

• Distance on timed words and applications
• Entropy of regular timed languages
• Timed symbolic dynamics
• Thin and thick timed regular languages
• Volume and Entropy of Regular Timed Languages: Discretization Approach
• Volume and entropy of regular timed languages: analytic approach
• scientific article; zbMATH DE number 176932 (Why is no real title available?)
• Foundations of Software Science and Computation Structures

This page was built for publication: Two size measures for timed languages

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2908867)