Program repair without regret (Q746769): Difference between revisions

@@ Property / cites work @@
+Synthesis from LTL Specifications with Mean-Payoff Objectives
+Normal rank
@@ Property / cites work @@
+Enhancing model checking in verification by AI techniques
+Normal rank
@@ Property / cites work @@
+Symbolic synthesis of masking fault-tolerant distributed programs
+Normal rank
@@ Property / cites work @@
+Solving Sequential Conditions by Finite-State Strategies
+Normal rank
@@ Property / cites work @@
+Simulation Distances
@@ Property / cites work: Simulation Distances / rank @@
+Normal rank
@@ Property / cites work @@
+Q4804909
@@ Property / cites work: Q4804909 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3336675
@@ Property / cites work: Q3336675 / rank @@
+Normal rank
@@ Property / cites work @@
+On the power of bounded concurrency I
@@ Property / cites work: On the power of bounded concurrency I / rank @@
+Normal rank
@@ Property / cites work @@
+Repair of Boolean Programs with an Application to C
+Normal rank
@@ Property / cites work @@
+Open Implication
@@ Property / cites work: Open Implication / rank @@
+Normal rank
@@ Property / cites work @@
+Q4426376
@@ Property / cites work: Q4426376 / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Finding and fixing faults
@@ Property / cites work: Finding and fixing faults / rank @@
+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 @@
+Q4315289
@@ Property / cites work: Q4315289 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3940830
@@ Property / cites work: Q3940830 / rank @@
+Normal rank
@@ Property / cites work @@
+Decidability of Second-Order Theories and Automata on Infinite Trees
+Normal rank
@@ Property / cites work @@
+Tools and Algorithms for the Construction and Analysis of Systems
+Normal rank
@@ Property / cites work @@
+Tighter Bounds for the Determinisation of Büchi Automata
+Normal rank
@@ Property / cites work @@
+Program repair without regret
@@ Property / cites work: Program repair without regret / rank @@
+Normal rank
@@ Property / cites work @@
+Inferring Synchronization under Limited Observability
+Normal rank
@@ Property / cites work @@
+Abstraction-guided synthesis of synchronization
@@ Property / cites work: Abstraction-guided synthesis of synchronization / rank @@
+Normal rank