MSO logics for weighted timed automata (Q548692): Difference between revisions

@@ Property / DOI @@
-.1007/s10703-011-0112-6
@@ Property / DOI: 10.1007/s10703-011-0112-6 / rank @@
-Normal rank
@@ Property / Mathematics Subject Classification ID @@
+Q45
@@ Property / Mathematics Subject Classification ID: 68Q45 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+D05
@@ Property / Mathematics Subject Classification ID: 03D05 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+5915219
@@ Property / zbMATH DE Number: 5915219 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+weighted timed automata
@@ Property / zbMATH Keywords: weighted timed automata / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+weighted MSO logic
@@ Property / zbMATH Keywords: weighted MSO logic / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+real-time systems
@@ Property / zbMATH Keywords: real-time systems / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s10703-011-0112-6
+Normal rank
@@ Property / OpenAlex ID @@
+W2052631269
@@ Property / OpenAlex ID: W2052631269 / 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 @@
+Optimal paths in weighted timed automata
@@ Property / cites work: Optimal paths in weighted timed automata / rank @@
+Normal rank
@@ Property / cites work @@
+Formal Methods for the Design of Real-Time Systems
+Normal rank
@@ Property / cites work @@
+Q4552463
@@ Property / cites work: Q4552463 / rank @@
+Normal rank
@@ Property / cites work @@
+Weighted Distributed Systems and Their Logics
@@ Property / cites work: Weighted Distributed Systems and Their Logics / rank @@
+Normal rank
@@ Property / cites work @@
+On the optimal reachability problem of weighted timed automata
+Normal rank
@@ Property / cites work @@
+Improved undecidability results on weighted timed automata
+Normal rank
@@ Property / cites work @@
+Model Checking One-clock Priced Timed Automata
@@ Property / cites work: Model Checking One-clock Priced Timed Automata / rank @@
+Normal rank
@@ Property / cites work @@
+Costs Are Expensive!
@@ Property / cites work: Costs Are Expensive! / rank @@
+Normal rank
@@ Property / cites work @@
+Model Checking Logic WCTL with Multi Constrained Modalities on One Clock Priced Timed Automata
+Normal rank
@@ Property / cites work @@
+A Kleene-Schützenberger Theorem for Weighted Timed Automata
+Normal rank
@@ Property / cites work @@
+Weighted Automata and Weighted Logics on Infinite Words
+Normal rank
@@ Property / cites work @@
+Weighted tree automata and weighted logics
@@ Property / cites work: Weighted tree automata and weighted logics / rank @@
+Normal rank
@@ Property / cites work @@
+A Logical Characterisation of Event Clock Automata
+Normal rank
@@ Property / cites work @@
+MTL with Bounded Variability: Decidability and Complexity
+Normal rank
@@ Property / cites work @@
+Definable Transductions and Weighted Logics for Texts
+Normal rank
@@ Property / cites work @@
+Weighted Picture Automata and Weighted Logics
@@ Property / cites work: Weighted Picture Automata and Weighted Logics / rank @@
+Normal rank
@@ Property / cites work @@
+Weighted Logics for Traces
@@ Property / cites work: Weighted Logics for Traces / rank @@
+Normal rank
@@ Property / cites work @@
+Weighted Timed MSO Logics
@@ Property / cites work: Weighted Timed MSO Logics / rank @@
+Normal rank
@@ Property / DOI @@
+.1007/S10703-011-0112-6
@@ Property / DOI: 10.1007/S10703-011-0112-6 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:548692