Multi-weighted automata and MSO logic (Q504993): Difference between revisions

@@ aliases / en / 0 / aliases / en / 0 @@
+Multi-weighted Automata and MSO Logic
@@ description / en / description / en @@
-scientific article
+scientific article; zbMATH DE number 6176272
@@ Property / title @@
+Multi-weighted Automata and MSO Logic (English)
@@ Property / title: Multi-weighted Automata and MSO Logic (English) / rank @@
+Normal rank
@@ Property / zbMATH Open document ID @@
+.68117
@@ Property / zbMATH Open document ID: 1344.68117 / rank @@
+Normal rank
@@ Property / DOI @@
+.1007/978-3-642-38536-0_36
@@ Property / DOI: 10.1007/978-3-642-38536-0_36 / rank @@
+Normal rank
@@ Property / published in @@
+Computer Science – Theory and Applications
@@ Property / published in: Computer Science – Theory and Applications / rank @@
+Normal rank
@@ Property / publication date @@
+June 2013Timestamp +2013-06-14T00:00:00Z
Timezone +00:00
Calendar Gregorian
Precision 1 day
Before 0
After 0
-Timestamp
++2013-06-14T00:00:00Z
-Timezone
++00:00
-Calendar
+Gregorian
-Precision
+day
 Before
 After
@@ Property / publication date: 14 June 2013 / 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 @@
+6676006
@@ Property / zbMATH DE Number: 6676006 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6176272
@@ Property / zbMATH DE Number: 6176272 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+multi-priced automata
@@ Property / zbMATH Keywords: multi-priced automata / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+quantitative logic
@@ Property / zbMATH Keywords: quantitative logic / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+average behavior
@@ Property / zbMATH Keywords: average behavior / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+reward-cost ratio
@@ Property / zbMATH Keywords: reward-cost ratio / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+quantitative languages
@@ Property / zbMATH Keywords: quantitative languages / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+power series
@@ Property / zbMATH Keywords: power series / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W1947371057
@@ Property / OpenAlex ID: W1947371057 / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W3100653010
@@ Property / OpenAlex ID: W3100653010 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.06024
@@ Property / arXiv ID: 1506.06024 / rank @@
+Normal rank
@@ Property / cites work @@
+Weighted versus Probabilistic Logics
@@ Property / cites work: Weighted versus Probabilistic Logics / rank @@
+Normal rank
@@ Property / cites work @@
+Multi-weighted automata and MSO logic
@@ Property / cites work: Multi-weighted automata and MSO logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q3994777
@@ Property / cites work: Q3994777 / rank @@
+Normal rank
@@ Property / cites work @@
+Synthesizing robust systems
@@ Property / cites work: Synthesizing robust systems / rank @@
+Normal rank
@@ Property / cites work @@
+Pebble Weighted Automata and Weighted Logics
@@ Property / cites work: Pebble Weighted Automata and Weighted Logics / rank @@
+Normal rank
@@ Property / cites work @@
+Hybrid Systems: Computation and Control
@@ Property / cites work: Hybrid Systems: Computation and Control / rank @@
+Normal rank
@@ Property / cites work @@
+Optimal infinite scheduling for multi-priced timed automata
+Normal rank
@@ Property / cites work @@
+Weak Second‐Order Arithmetic and Finite Automata
+Normal rank
@@ Property / cites work @@
+Q4508396
@@ Property / cites work: Q4508396 / rank @@
+Normal rank
@@ Property / cites work @@
+Quantitative Languages
@@ Property / cites work: Quantitative Languages / rank @@
+Normal rank
@@ Property / cites work @@
+Expressiveness and Closure Properties for Quantitative Languages
+Normal rank
@@ Property / cites work @@
+Weighted automata and weighted logics
@@ Property / cites work: Weighted automata and weighted logics / rank @@
+Normal rank
@@ Property / cites work @@
+Automata, Languages and Programming
@@ Property / cites work: Automata, Languages and Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Handbook of weighted automata
@@ Property / cites work: Handbook of weighted automata / rank @@
+Normal rank
@@ Property / cites work @@
+Q4449193
@@ Property / cites work: Q4449193 / rank @@
+Normal rank
@@ Property / cites work @@
+Weighted automata and weighted MSO logics for average and long-time behaviors
+Normal rank
@@ Property / cites work @@
+A Nivat Theorem for Weighted Timed Automata and Weighted Relative Distance Logic
+Normal rank
@@ Property / cites work @@
+Weighted automata and multi-valued logics over arbitrary bounded lattices
+Normal rank
@@ Property / cites work @@
+Q4079524
@@ Property / cites work: Q4079524 / rank @@
+Normal rank
@@ Property / cites work @@
+Decision Problems of Finite Automata Design and Related Arithmetics
+Normal rank
@@ Property / cites work @@
+Energy Games in Multiweighted Automata
@@ Property / cites work: Energy Games in Multiweighted Automata / rank @@
+Normal rank
@@ Property / cites work @@
+Discount-Optimal Infinite Runs in Priced Timed Automata
+Normal rank
@@ Property / cites work @@
+Metrics for weighted transition systems: axiomatization and complexity
+Normal rank
@@ Property / cites work @@
+Quantitative Languages Defined by Functional Automata
+Normal rank
@@ Property / cites work @@
+Revisiting Decidability and Optimum Reachability for Multi-Priced Timed Automata
+Normal rank
@@ Property / cites work @@
+Q3704880
@@ Property / cites work: Q3704880 / rank @@
+Normal rank
@@ Property / cites work @@
+Foundations of Software Science and Computational Structures
+Normal rank
@@ Property / cites work @@
+Combinatorial optimization with rational objective functions
+Normal rank
@@ Property / cites work @@
+Algorithms for the Multi-constrained Routing Problem
+Normal rank
@@ Property / cites work @@
+MSO logics for weighted timed automata
@@ Property / cites work: MSO logics for weighted timed automata / rank @@
+Normal rank
@@ Property / cites work @@
+Q4155837
@@ Property / cites work: Q4155837 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:504993