Parametric linear dynamic logic (Q515660): Difference between revisions

@@ Property / author @@
-Martín G. Zimmermann
@@ Property / author: Martín G. Zimmermann / rank @@
-Normal rank
@@ Property / author @@
+Martín G. Zimmermann
@@ Property / author: Martín G. Zimmermann / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+LTL2BA
@@ Property / describes a project that uses: LTL2BA / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2963943124
@@ Property / OpenAlex ID: W2963943124 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.5957
@@ Property / arXiv ID: 1408.5957 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4995359
@@ Property / cites work: Q4995359 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4472249
@@ Property / cites work: Q4472249 / rank @@
+Normal rank
@@ Property / cites work @@
+Observations on determinization of Büchi automata
+Normal rank
@@ Property / cites work @@
+Antichains and compositional algorithms for LTL synthesis
+Normal rank
@@ Property / cites work @@
+Regular Linear Temporal Logic
@@ Property / cites work: Regular Linear Temporal Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning about infinite computations
@@ Property / cites work: Reasoning about infinite computations / rank @@
+Normal rank
@@ Property / cites work @@
+Temporal logic can be more expressive
@@ Property / cites work: Temporal logic can be more expressive / rank @@
+Normal rank
@@ Property / cites work @@
+Parametric temporal logic for “model measuring”
+Normal rank
@@ Property / cites work @@
+From liveness to promptness
@@ Property / cites work: From liveness to promptness / rank @@
+Normal rank
@@ Property / cites work @@
+Parametric metric interval temporal logic
@@ Property / cites work: Parametric metric interval temporal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Propositional dynamic logic of regular programs
@@ Property / cites work: Propositional dynamic logic of regular programs / rank @@
+Normal rank
@@ Property / cites work @@
+Optimal bounds in parametric LTL games
@@ Property / cites work: Optimal bounds in parametric LTL games / rank @@
+Normal rank
@@ Property / cites work @@
+Programming Techniques: Regular expression search algorithm
+Normal rank
@@ Property / cites work @@
+Alternating finite automata on \(\omega\)-words
@@ Property / cites work: Alternating finite automata on \(\omega\)-words / rank @@
+Normal rank
@@ Property / cites work @@
+Tighter Bounds for the Determinisation of Büchi Automata
+Normal rank
@@ Property / cites work @@
+FINITE STATE PROCESSES, Z-TEMPORAL LOGIC AND THE MONADIC THEORY OF THE INTEGERS
+Normal rank
@@ Property / cites work @@
+Q4551134
@@ Property / cites work: Q4551134 / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of propositional linear temporal logics
+Normal rank
@@ Property / cites work @@
+Q3700812
@@ Property / cites work: Q3700812 / rank @@
+Normal rank
@@ Property / cites work @@
+Solving Sequential Conditions by Finite-State Strategies
+Normal rank
@@ Property / cites work @@
+Q4205072
@@ Property / cites work: Q4205072 / rank @@
+Normal rank