Synthesis for continuous time (Q2355696): Difference between revisions

@@ 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.2015.06.032
+Normal rank
@@ Property / OpenAlex ID @@
+W563910258
@@ Property / OpenAlex ID: W563910258 / rank @@
+Normal rank
@@ Property / cites work @@
+The decision problem for linear temporal logic
@@ Property / cites work: The decision problem for linear temporal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Solving Sequential Conditions by Finite-State Strategies
+Normal rank
@@ Property / cites work @@
+Q2920121
@@ Property / cites work: Q2920121 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5419881
@@ Property / cites work: Q5419881 / rank @@
+Normal rank
@@ Property / cites work @@
+Indiscrete Models: Model Building and Model Checking over Linear Time
+Normal rank
@@ Property / cites work @@
+An Axiomatization of the Temporal Logic with Until and Since over the Real Numbers
+Normal rank
@@ Property / cites work @@
+Q4281254
@@ Property / cites work: Q4281254 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3835817
@@ Property / cites work: Q3835817 / rank @@
+Normal rank
@@ Property / cites work @@
+Rabin's uniformization problem
@@ Property / cites work: Rabin's uniformization problem / rank @@
+Normal rank
@@ Property / cites work @@
+Q4824483
@@ Property / cites work: Q4824483 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3012526
@@ Property / cites work: Q3012526 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3408862
@@ Property / cites work: Q3408862 / rank @@
+Normal rank
@@ Property / cites work @@
+Polynomial Space Counting Problems
@@ Property / cites work: Polynomial Space Counting Problems / rank @@
+Normal rank
@@ Property / cites work @@
+On the elementary theory of linear order
@@ Property / cites work: On the elementary theory of linear order / rank @@
+Normal rank
@@ Property / cites work @@
+Q4873975
@@ Property / cites work: Q4873975 / rank @@
+Normal rank
@@ Property / cites work @@
+Decidability of Second-Order Theories and Automata on Infinite Trees
+Normal rank
@@ Property / cites work @@
+Temporal Logics over Linear Time Domains Are in PSPACE
+Normal rank
@@ Property / cites work @@
+An axiomatization for until and since over the reals without the IRR rule
+Normal rank
@@ Property / cites work @@
+Q4475175
@@ Property / cites work: Q4475175 / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of the temporal logic with ``until'' over general linear time
+Normal rank
@@ Property / cites work @@
+The complexity of temporal logic over the reals
@@ Property / cites work: The complexity of temporal logic over the reals / rank @@
+Normal rank
@@ Property / cites work @@
+A tableau for general linear temporal logic
@@ Property / cites work: A tableau for general linear temporal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4636307
@@ Property / cites work: Q4636307 / rank @@
+Normal rank
@@ Property / cites work @@
+$ℵ_0$-categoricity of linear orderings
@@ Property / cites work: $ℵ_0$-categoricity of linear orderings / rank @@
+Normal rank
@@ Property / cites work @@
+Q4599512
@@ Property / cites work: Q4599512 / rank @@
+Normal rank