Realizability of Real-Time Logics (Q3648828): Difference between revisions

@@ Property / cites work @@
+A theory of timed automata
@@ Property / cites work: A theory of timed automata / rank @@
+Normal rank
@@ Property / cites work @@
+The benefits of relaxing punctuality
@@ Property / cites work: The benefits of relaxing punctuality / rank @@
+Normal rank
@@ Property / cites work @@
+Event-clock automata: a determinizable class of timed automata
+Normal rank
@@ Property / cites work @@
+Q4230338
@@ Property / cites work: Q4230338 / rank @@
+Normal rank
@@ Property / cites work @@
+A really temporal logic
@@ Property / cites work: A really temporal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Controller Synthesis for MTL Specifications
@@ Property / cites work: Controller Synthesis for MTL Specifications / rank @@
+Normal rank
@@ Property / cites work @@
+CONCUR 2005 – Concurrency Theory
@@ Property / cites work: CONCUR 2005 – Concurrency Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Timed Control with Observation Based and Stuttering Invariant Strategies
+Normal rank
@@ Property / cites work @@
+CONCUR 2003 - Concurrency Theory
@@ Property / cites work: CONCUR 2003 - Concurrency Theory / rank @@
+Normal rank
@@ Property / cites work @@
+An Antichain Algorithm for LTL Realizability
@@ Property / cites work: An Antichain Algorithm for LTL Realizability / rank @@
+Normal rank
@@ Property / cites work @@
+Q4251916
@@ Property / cites work: Q4251916 / rank @@
+Normal rank
@@ Property / cites work @@
+Undecidable problems in unreliable computations.
@@ Property / cites work: Undecidable problems in unreliable computations. / rank @@
+Normal rank
@@ Property / cites work @@
+Formal Modeling and Analysis of Timed Systems
@@ Property / cites work: Formal Modeling and Analysis of Timed Systems / rank @@
+Normal rank
@@ Property / cites work @@
+On Synthesizing Controllers from Bounded-Response Properties
+Normal rank
@@ Property / cites work @@
+Temporal Verification of Reactive Systems: Response
+Normal rank
@@ Property / cites work @@
+On the synthesis of discrete controllers for timed systems
+Normal rank
@@ Property / cites work @@
+On the decidability and complexity of Metric Temporal Logic over finite words
+Normal rank
@@ Property / cites work @@
+From Nondeterministic B\"uchi and Streett Automata to Deterministic Parity Automata
+Normal rank
@@ Property / cites work @@
+Q4205072
@@ Property / cites work: Q4205072 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3710510
@@ Property / cites work: Q3710510 / rank @@
+Normal rank