Latticed-LTL synthesis in the presence of noisy inputs (Q1677194): Difference between revisions

@@ Property / cites work @@
+Formalizing and Reasoning about Quality
@@ Property / cites work: Formalizing and Reasoning about Quality / rank @@
+Normal rank
@@ Property / cites work @@
+Q5275381
@@ Property / cites work: Q5275381 / rank @@
+Normal rank
@@ Property / cites work @@
+Ranking Automata and Games for Prioritized Requirements
+Normal rank
@@ Property / cites work @@
+Borel determinacy
@@ Property / cites work: Borel determinacy / rank @@
+Normal rank
@@ Property / cites work @@
+Better Quality in Synthesis through Quantitative Objectives
+Normal rank
@@ Property / cites work @@
+The complexity of two-player games of incomplete information
+Normal rank
@@ Property / cites work @@
+Quantitative Languages
@@ Property / cites work: Quantitative Languages / rank @@
+Normal rank
@@ Property / cites work @@
+Algorithms for Omega-Regular Games with Imperfect Information
+Normal rank
@@ Property / cites work @@
+Q5501249
@@ Property / cites work: Q5501249 / rank @@
+Normal rank
@@ Property / cites work @@
+Minimum Attention Controller Synthesis for Omega-Regular Objectives
+Normal rank
@@ Property / cites work @@
+Controller Synthesis with Budget Constraints
@@ Property / cites work: Controller Synthesis with Budget Constraints / rank @@
+Normal rank
@@ Property / cites work @@
+Q4531751
@@ Property / cites work: Q4531751 / rank @@
+Normal rank
@@ Property / cites work @@
+Model Checking Quantitative Linear Time Logic
@@ Property / cites work: Model Checking Quantitative Linear Time Logic / 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 @@
+Q2851539
@@ Property / cites work: Q2851539 / rank @@
+Normal rank
@@ Property / cites work @@
+A Deterministic Subexponential Algorithm for Solving Parity Games
+Normal rank
@@ Property / cites work @@
+Lattice Automata
@@ Property / cites work: Lattice Automata / rank @@
+Normal rank
@@ Property / cites work @@
+LATTICED SIMULATION RELATIONS AND GAMES
@@ Property / cites work: LATTICED SIMULATION RELATIONS AND GAMES / rank @@
+Normal rank
@@ Property / cites work @@
+Church's Problem Revisited
@@ Property / cites work: Church's Problem Revisited / rank @@
+Normal rank
@@ Property / cites work @@
+Q4952307
@@ Property / cites work: Q4952307 / rank @@
+Normal rank
@@ Property / cites work @@
+Robust discrete synthesis against unspecified disturbances
+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 @@
+Q4205072
@@ Property / cites work: Q4205072 / rank @@
+Normal rank
@@ Property / cites work @@
+Exponential Determinization for ω‐Automata with a Strong Fairness Acceptance Condition
+Normal rank
@@ Property / cites work @@
+Solving Parity Games in Big Steps
@@ Property / cites work: Solving Parity Games in Big Steps / rank @@
+Normal rank
@@ Property / cites work @@
+On synthesizing robust discrete controllers under modeling uncertainty
+Normal rank
@@ Property / cites work @@
+Verified software: Theories, tools, experiments. Second international conference, VSTTE 2008, Toronto, Canada, October 6--9, 2008. Proceedings
+Normal rank
@@ Property / cites work @@
+Reasoning about infinite computations
@@ Property / cites work: Reasoning about infinite computations / rank @@
+Normal rank
@@ Property / cites work @@
+Church Synthesis Problem for Noisy Input
@@ Property / cites work: Church Synthesis Problem for Noisy Input / rank @@
+Normal rank