A maximal entropy stochastic process for a timed automaton (Q2347798): Difference between revisions

@@ Property / cites work @@
+A sandwich proof of the Shannon-McMillan-Breiman theorem
+Normal rank
@@ Property / cites work @@
+Q4036557
@@ Property / cites work: Q4036557 / 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 @@
+Toward a Timed Theory of Channel Coding
@@ Property / cites work: Toward a Timed Theory of Channel Coding / 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 @@
+Generating Functions of Timed Languages
@@ Property / cites work: Generating Functions of Timed Languages / rank @@
+Normal rank
@@ Property / cites work @@
+Volume and Entropy of Regular Timed Languages: Analytic Approach
+Normal rank
@@ Property / cites work @@
+Volume and Entropy of Regular Timed Languages: Discretization Approach
+Normal rank
@@ Property / cites work @@
+Probabilistic and Topological Semantics for Timed Automata
+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 @@
+Thin and Thick Timed Regular Languages
@@ Property / cites work: Thin and Thick Timed Regular Languages / rank @@
+Normal rank
@@ Property / cites work @@
+Symbolic Analysis for GSMP Models with One Stateful Clock
+Normal rank
@@ Property / cites work @@
+Q3103870
@@ Property / cites work: Q3103870 / rank @@
+Normal rank
@@ Property / cites work @@
+Introduction to Dynamical Systems
@@ Property / cites work: Introduction to Dynamical Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Elements of Information Theory
@@ Property / cites work: Elements of Information Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Statistical Model Checking for Networks of Priced Timed Automata
+Normal rank
@@ Property / cites work @@
+Formal modeling and analysis of timed systems. 9th international conference, FORMATS 2011, Aalborg, Denmark, September 21--23, 2011. Proceedings
+Normal rank
@@ Property / cites work @@
+Tools and Algorithms for the Construction and Analysis of Systems
+Normal rank
@@ Property / cites work @@
+As Soon as Probable: Optimal Scheduling under Stochastic Uncertainty
+Normal rank
@@ Property / cites work @@
+Q3992446
@@ Property / cites work: Q3992446 / rank @@
+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 @@
+Q4681771
@@ Property / cites work: Q4681771 / rank @@
+Normal rank
@@ Property / cites work @@
+Intrinsic Markov Chains
@@ Property / cites work: Intrinsic Markov Chains / rank @@
+Normal rank
@@ Property / cites work @@
+Q5329487
@@ Property / cites work: Q5329487 / 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 @@
+Q4257161
@@ Property / cites work: Q4257161 / rank @@
+Normal rank
@@ Property / cites work @@
+A Mathematical Theory of Communication
@@ Property / cites work: A Mathematical Theory of Communication / rank @@
+Normal rank
@@ Property / cites work @@
+A Survey of Alternating Permutations
@@ Property / cites work: A Survey of Alternating Permutations / rank @@
+Normal rank