Synthesis of Reactive(1) designs (Q439954): Difference between revisions

@@ Property / cites work @@
+Verification, Model Checking, and Abstract Interpretation
+Normal rank
@@ Property / cites work @@
+Q5725991
@@ Property / cites work: Q5725991 / rank @@
+Normal rank
@@ Property / cites work @@
+Solving Sequential Conditions by Finite-State Strategies
+Normal rank
@@ Property / cites work @@
+Q4074888
@@ Property / cites work: Q4074888 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4205072
@@ Property / cites work: Q4205072 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3336675
@@ Property / cites work: Q3336675 / rank @@
+Normal rank
@@ Property / cites work @@
+Synthesis of Communicating Processes from Temporal Logic Specifications
+Normal rank
@@ Property / cites work @@
+Symbolic Synthesis of Finite-State Controllers for Request-Response Specifications
+Normal rank
@@ Property / cites work @@
+Deterministic generators and games for Ltl fragments
+Normal rank
@@ Property / cites work @@
+Tools and Algorithms for the Construction and Analysis of Systems
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Bridging the gap between fair simulation and trace inclusion
+Normal rank
@@ Property / cites work @@
+An algorithm for strongly connected component analysis in \(n \log n\) symbolic steps
+Normal rank
@@ Property / cites work @@
+Q3700812
@@ Property / cites work: Q3700812 / rank @@
+Normal rank
@@ Property / cites work @@
+A Hybrid Algorithm for LTL Games
@@ Property / cites work: A Hybrid Algorithm for LTL Games / rank @@
+Normal rank
@@ Property / cites work @@
+Solving Games Without Determinization
@@ Property / cites work: Solving Games Without Determinization / rank @@
+Normal rank
@@ Property / cites work @@
+Safraless Compositional Synthesis
@@ Property / cites work: Safraless Compositional Synthesis / rank @@
+Normal rank
@@ Property / cites work @@
+Bounded Synthesis
@@ Property / cites work: Bounded Synthesis / 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 @@
+Verification by augmented finitary abstraction
@@ Property / cites work: Verification by augmented finitary abstraction / rank @@
+Normal rank
@@ Property / cites work @@
+Results on the propositional \(\mu\)-calculus
@@ Property / cites work: Results on the propositional \(\mu\)-calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Q4501540
@@ Property / cites work: Q4501540 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4353562
@@ Property / cites work: Q4353562 / rank @@
+Normal rank
@@ Property / cites work @@
+Minimizing Generalized Büchi Automata
@@ Property / cites work: Minimizing Generalized Büchi Automata / rank @@
+Normal rank
@@ Property / cites work @@
+Q2754078
@@ Property / cites work: Q2754078 / rank @@
+Normal rank
@@ Property / cites work @@
+The existence of refinement mappings
@@ Property / cites work: The existence of refinement mappings / rank @@
+Normal rank
@@ Property / cites work @@
+Safety and liveness from a methodological point of view
+Normal rank
@@ Property / cites work @@
+On the Merits of Temporal Testers
@@ Property / cites work: On the Merits of Temporal Testers / rank @@
+Normal rank
@@ Property / cites work @@
+Q4888830
@@ Property / cites work: Q4888830 / rank @@
+Normal rank
@@ Property / cites work @@
+Symbolic Implementation of Alternating Automata
@@ Property / cites work: Symbolic Implementation of Alternating Automata / rank @@
+Normal rank
@@ Property / cites work @@
+Diagnostic Information for Realizability
@@ Property / cites work: Diagnostic Information for Realizability / rank @@
+Normal rank
@@ Property / cites work @@
+Environment Assumptions for Synthesis
@@ Property / cites work: Environment Assumptions for Synthesis / rank @@
+Normal rank
@@ Property / cites work @@
+Better Quality in Synthesis through Quantitative Objectives
+Normal rank
@@ Property / cites work @@
+Synthesizing robust systems
@@ Property / cites work: Synthesizing robust systems / rank @@
+Normal rank
@@ Property / cites work @@
+Receding horizon control for temporal logic specifications
+Normal rank