Thin and Thick Timed Regular Languages (Q3172847): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W124063618
@@ Property / OpenAlex ID: W124063618 / 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 @@
+A theory of timed automata
@@ Property / cites work: A theory of timed automata / 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 @@
+Q2908867
@@ Property / cites work: Q2908867 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4251920
@@ Property / cites work: Q4251920 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3839068
@@ Property / cites work: Q3839068 / rank @@
+Normal rank
@@ Property / cites work @@
+Computing the Continuous Discretely
@@ Property / cites work: Computing the Continuous Discretely / rank @@
+Normal rank
@@ Property / cites work @@
+Q4270062
@@ Property / cites work: Q4270062 / rank @@
+Normal rank
@@ Property / cites work @@
+Efficient Detection of Zeno Runs in Timed Automata
+Normal rank
@@ Property / cites work @@
+Q4953389
@@ Property / cites work: Q4953389 / rank @@
+Normal rank
@@ Property / cites work @@
+Mean topological dimension
@@ Property / cites work: Mean topological dimension / rank @@
+Normal rank
@@ Property / cites work @@
+Foundations of Software Science and Computation Structures
+Normal rank
@@ Property / cites work @@
+Dynamical properties of timed automata
@@ Property / cites work: Dynamical properties 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 @@
+Robust safety of timed automata
@@ Property / cites work: Robust safety of timed automata / rank @@
+Normal rank
@@ Property / cites work @@
+Almost ASAP semantics: from timed models to timed implementations
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:3172847