Weighted LTL with Discounting (Q2914725): Difference between revisions

@@ Property / cites work @@
+Q4449238
@@ Property / cites work: Q4449238 / rank @@
+Normal rank
@@ Property / cites work @@
+Skew and infinitary formal power series
@@ Property / cites work: Skew and infinitary formal power series / rank @@
+Normal rank
@@ Property / cites work @@
+Weighted automata and multi-valued logics over arbitrary bounded lattices
+Normal rank
@@ Property / cites work @@
+Model Checking Quantitative Linear Time Logic
@@ Property / cites work: Model Checking Quantitative Linear Time Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Lattice Automata
@@ Property / cites work: Lattice Automata / rank @@
+Normal rank
@@ Property / cites work @@
+On weighted first-order logics with discounting
@@ Property / cites work: On weighted first-order logics with discounting / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning about infinite computations
@@ Property / cites work: Reasoning about infinite computations / rank @@
+Normal rank
@@ Property / cites work @@
+Q4547769
@@ Property / cites work: Q4547769 / rank @@
+Normal rank