A Kleene-Schützenberger theorem for weighted timed automata (Q631775): Difference between revisions

@@ Property / describes a project that uses @@
+Kronos
@@ Property / describes a project that uses: Kronos / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+HyTech
@@ Property / describes a project that uses: HyTech / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Uppaal
@@ Property / describes a project that uses: Uppaal / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+UPPAAL CORA
@@ Property / describes a project that uses: UPPAAL CORA / 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.1016/j.tcs.2010.12.033
+Normal rank
@@ Property / OpenAlex ID @@
+W2011033500
@@ Property / OpenAlex ID: W2011033500 / rank @@
+Normal rank
@@ Property / cites work @@
+Automata, Languages and Programming
@@ Property / cites work: Automata, Languages and Programming / rank @@
+Normal rank
@@ Property / cites work @@
+The algorithmic analysis of hybrid systems
@@ Property / cites work: The algorithmic analysis of hybrid systems / 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 @@
+Q4552456
@@ Property / cites work: Q4552456 / rank @@
+Normal rank
@@ Property / cites work @@
+Formal Methods for the Design of Real-Time Systems
+Normal rank
@@ Property / cites work @@
+Timed regular expressions
@@ Property / cites work: Timed regular expressions / rank @@
+Normal rank
@@ Property / cites work @@
+Q2842862
@@ Property / cites work: Q2842862 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4552463
@@ Property / cites work: Q4552463 / rank @@
+Normal rank
@@ Property / cites work @@
+Hybrid systems: computation and control. 4th international workshop, HSCC 2001, Rome, Italy, March 28--30, 2001. Proceedings
+Normal rank
@@ Property / cites work @@
+Q3994777
@@ Property / cites work: Q3994777 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5506336
@@ Property / cites work: Q5506336 / 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 @@
+Optimal infinite scheduling for multi-priced timed automata
+Normal rank
@@ Property / cites work @@
+Q2849560
@@ Property / cites work: Q2849560 / rank @@
+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 @@
+Q4938626
@@ Property / cites work: Q4938626 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4807830
@@ Property / cites work: Q4807830 / rank @@
+Normal rank
@@ Property / cites work @@
+Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
+Normal rank
@@ Property / cites work @@
+Handbook of weighted automata
@@ Property / cites work: Handbook of weighted automata / rank @@
+Normal rank
@@ Property / cites work @@
+A Kleene-Schützenberger Theorem for Weighted Timed Automata
+Normal rank
@@ Property / cites work @@
+Fixed Point Theory
@@ Property / cites work: Fixed Point Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q3431478
@@ Property / cites work: Q3431478 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3431479
@@ Property / cites work: Q3431479 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3624034
@@ Property / cites work: Q3624034 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4503930
@@ Property / cites work: Q4503930 / rank @@
+Normal rank
@@ Property / cites work @@
+HyTech: A model checker for hybrid systems
@@ Property / cites work: HyTech: A model checker for hybrid systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q3704880
@@ Property / cites work: Q3704880 / rank @@
+Normal rank
@@ Property / cites work @@
+Uppaal in a nutshell
@@ Property / cites work: Uppaal in a nutshell / rank @@
+Normal rank
@@ Property / cites work @@
+Foundations of Software Science and Computational Structures
+Normal rank
@@ Property / cites work @@
+Q4953404
@@ Property / cites work: Q4953404 / rank @@
+Normal rank
@@ Property / cites work @@
+On the Supports of Recognizable Timed Series
@@ Property / cites work: On the Supports of Recognizable Timed Series / rank @@
+Normal rank
@@ Property / cites work @@
+Weighted Timed MSO Logics
@@ Property / cites work: Weighted Timed MSO Logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q3574978
@@ Property / cites work: Q3574978 / rank @@
+Normal rank
@@ Property / cites work @@
+Tools and Algorithms for the Construction and Analysis of Systems
+Normal rank
@@ Property / cites work @@
+Q4155837
@@ Property / cites work: Q4155837 / rank @@
+Normal rank
@@ Property / cites work @@
+On the definition of a family of automata
@@ Property / cites work: On the definition of a family of automata / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:631775