Compositional construction of most general controllers (Q2350495): Difference between revisions

@@ Property / describes a project that uses @@
+Reo
@@ Property / describes a project that uses: Reo / rank @@
+Normal rank
@@ 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.1007/s00236-015-0239-9
+Normal rank
@@ Property / OpenAlex ID @@
+W608305877
@@ Property / OpenAlex ID: W608305877 / rank @@
+Normal rank
@@ Property / cites work @@
+Strategy construction for parity games with imperfect information
+Normal rank
@@ Property / cites work @@
+Reo: a channel-based coordination model for component composition
+Normal rank
@@ Property / cites work @@
+Solving Sequential Conditions by Finite-State Strategies
+Normal rank
@@ Property / cites work @@
+Formal Verification for Components and Connectors
@@ Property / cites work: Formal Verification for Components and Connectors / rank @@
+Normal rank
@@ Property / cites work @@
+A Compositional Framework for Controller Synthesis
+Normal rank
@@ Property / cites work @@
+Synthesis of Reo Connectors for Strategies and Controllers
+Normal rank
@@ Property / cites work @@
+Modeling component connectors in Reo by constraint automata
+Normal rank
@@ Property / cites work @@
+Permissive strategies: from parity games to safety games
+Normal rank
@@ Property / cites work @@
+Q3165948
@@ Property / cites work: Q3165948 / rank @@
+Normal rank
@@ Property / cites work @@
+Synthesis of Reactive(1) designs
@@ Property / cites work: Synthesis of Reactive(1) designs / rank @@
+Normal rank
@@ Property / cites work @@
+Measuring Permissivity in Finite Games
@@ Property / cites work: Measuring Permissivity in Finite Games / rank @@
+Normal rank
@@ Property / cites work @@
+Measuring Permissiveness in Parity Games: Mean-Payoff Parity Games Revisited
+Normal rank
@@ Property / cites work @@
+The Complexity of Partial-Observation Parity Games
+Normal rank
@@ Property / cites work @@
+Environment Assumptions for Synthesis
@@ Property / cites work: Environment Assumptions for Synthesis / rank @@
+Normal rank
@@ Property / cites work @@
+Q5725991
@@ Property / cites work: Q5725991 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4964727
@@ Property / cites work: Q4964727 / rank @@
+Normal rank
@@ Property / cites work @@
+The Complexity of Tree Automata and Logics of Programs
+Normal rank
@@ Property / cites work @@
+Compositional Algorithms for LTL Synthesis
@@ Property / cites work: Compositional Algorithms for LTL Synthesis / rank @@
+Normal rank
@@ Property / cites work @@
+Automata, logics, and infinite games. A guide to current research
+Normal rank
@@ Property / cites work @@
+Compositional Control Synthesis for Partially Observable Systems
+Normal rank
@@ Property / cites work @@
+Computing Weakest Strategies for Safety Games of Imperfect Information
+Normal rank
@@ Property / cites work @@
+Q4536596
@@ Property / cites work: Q4536596 / rank @@
+Normal rank
@@ Property / cites work @@
+Safraless Compositional Synthesis
@@ Property / cites work: Safraless Compositional Synthesis / rank @@
+Normal rank
@@ Property / cites work @@
+Synthesis of Trigger Properties
@@ Property / cites work: Synthesis of Trigger Properties / rank @@
+Normal rank
@@ Property / cites work @@
+Supervisory Control of a Class of Discrete Event Processes
+Normal rank
@@ Property / cites work @@
+FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science
+Normal rank
@@ Property / cites work @@
+Q5151002
@@ Property / cites work: Q5151002 / rank @@
+Normal rank
@@ Property / cites work @@
+Down the Borel hierarchy: solving Muller games via safety games
+Normal rank
@@ Property / cites work @@
+A decidable class of problems for control under partial observation
+Normal rank
@@ Property / cites work @@
+Q4205072
@@ Property / cites work: Q4205072 / rank @@
+Normal rank
@@ Property / cites work @@
+Asynchronous Omega-Regular Games with Partial Information
+Normal rank
@@ Property / cites work @@
+Q4074888
@@ Property / cites work: Q4074888 / rank @@
+Normal rank
@@ Property / cites work @@
+Algorithms for Omega-Regular Games with Imperfect Information
+Normal rank
@@ Property / cites work @@
+The complexity of two-player games of incomplete information
+Normal rank
@@ Property / cites work @@
+Q3486473
@@ Property / cites work: Q3486473 / rank @@
+Normal rank