Entropy of regular timed languages (Q2343131): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.ic.2015.03.003
+Normal rank
@@ Property / OpenAlex ID @@
+W2061768141
@@ Property / OpenAlex ID: W2061768141 / rank @@
+Normal rank
@@ Property / cites work @@
+Volume and Entropy of Regular Timed Languages: Discretization Approach
+Normal rank
@@ Property / cites work @@
+Volume and Entropy of Regular Timed Languages: Analytic Approach
+Normal rank
@@ Property / cites work @@
+Q2908867
@@ Property / cites work: Q2908867 / rank @@
+Normal rank
@@ Property / cites work @@
+Thin and Thick Timed Regular Languages
@@ Property / cites work: Thin and Thick Timed Regular Languages / rank @@
+Normal rank
@@ Property / cites work @@
+Spectral Gap in Timed Automata
@@ Property / cites work: Spectral Gap in Timed Automata / rank @@
+Normal rank
@@ Property / cites work @@
+Toward a Timed Theory of Channel Coding
@@ Property / cites work: Toward a Timed Theory of Channel Coding / rank @@
+Normal rank
@@ Property / cites work @@
+Frequencies in Forgetful Timed Automata
@@ Property / cites work: Frequencies in Forgetful Timed Automata / rank @@
+Normal rank
@@ Property / cites work @@
+Robust Controller Synthesis in Timed Automata
@@ Property / cites work: Robust Controller Synthesis in Timed Automata / rank @@
+Normal rank
@@ Property / cites work @@
+Generating Functions of Timed Languages
@@ Property / cites work: Generating Functions of Timed Languages / rank @@
+Normal rank
@@ Property / cites work @@
+A Maximal Entropy Stochastic Process for a Timed Automaton,
+Normal rank
@@ Property / cites work @@
+Counting and Generating Permutations Using Timed Languages
+Normal rank
@@ Property / cites work @@
+An Introduction to Symbolic Dynamics and Coding
@@ Property / cites work: An Introduction to Symbolic Dynamics and Coding / rank @@
+Normal rank
@@ Property / cites work @@
+Finite state languages
@@ Property / cites work: Finite state languages / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992446
@@ Property / cites work: Q3992446 / rank @@
+Normal rank
@@ Property / cites work @@
+Perturbation theory for linear operators.
@@ Property / cites work: Perturbation theory for linear operators. / rank @@
+Normal rank
@@ Property / cites work @@
+Q3839068
@@ Property / cites work: Q3839068 / rank @@
+Normal rank
@@ Property / cites work @@
+Efficient Detection of Zeno Runs in Timed Automata
+Normal rank
@@ Property / cites work @@
+What good are digital clocks?
@@ Property / cites work: What good are digital clocks? / rank @@
+Normal rank
@@ Property / cites work @@
+Q4251920
@@ Property / cites work: Q4251920 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4953389
@@ Property / cites work: Q4953389 / rank @@
+Normal rank
@@ Property / cites work @@
+Dynamical properties of timed automata
@@ Property / cites work: Dynamical properties of timed automata / rank @@
+Normal rank
@@ Property / cites work @@
+Almost ASAP semantics: from timed models to timed implementations
+Normal rank
@@ Property / cites work @@
+Robust safety of timed automata
@@ Property / cites work: Robust safety of timed automata / rank @@
+Normal rank
@@ Property / cites work @@
+Sampled Semantics of Timed Automata
@@ Property / cites work: Sampled Semantics of Timed Automata / rank @@
+Normal rank
@@ Property / cites work @@
+Factorization forests of finite height
@@ Property / cites work: Factorization forests of finite height / rank @@
+Normal rank
@@ Property / cites work @@
+Hypervolume Approximation in Timed Automata Model Checking
+Normal rank
@@ Property / cites work @@
+Timed regular expressions
@@ Property / cites work: Timed regular expressions / rank @@
+Normal rank
@@ Property / cites work @@
+A theory of timed automata
@@ Property / cites work: A theory of timed automata / rank @@
+Normal rank
@@ Property / cites work @@
+Q4270062
@@ Property / cites work: Q4270062 / rank @@
+Normal rank
@@ Property / cites work @@
+Non-negative matrices and Markov chains.
@@ Property / cites work: Non-negative matrices and Markov chains. / rank @@
+Normal rank
@@ Property / cites work @@
+Periods of Connected Networks and Powers of Nonnegative Matrices
+Normal rank
@@ Property / cites work @@
+Descent pattern avoidance
@@ Property / cites work: Descent pattern avoidance / rank @@
+Normal rank