Maximally permissive controlled system synthesis for non-determinism and modal logic (Q513185): Difference between revisions

@@ Property / author @@
-Michel Reniers
@@ Property / author: Michel Reniers / rank @@
-Normal rank
@@ Property / author @@
+Michel Reniers
@@ Property / author: Michel Reniers / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q59519582
@@ Property / Wikidata QID: Q59519582 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Coq
@@ Property / describes a project that uses: Coq / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+UMDES
@@ Property / describes a project that uses: UMDES / 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/s10626-016-0231-8
+Normal rank
@@ Property / OpenAlex ID @@
+W2522848592
@@ Property / OpenAlex ID: W2522848592 / rank @@
+Normal rank
@@ Property / cites work @@
+On modal \(\mu \)-calculus and Gödel-Löb logic
@@ Property / cites work: On modal \(\mu \)-calculus and Gödel-Löb logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q3086918
@@ Property / cites work: Q3086918 / rank @@
+Normal rank
@@ Property / cites work @@
+Games for synthesis of controllers with partial observation.
+Normal rank
@@ Property / cites work @@
+Q3404131
@@ Property / cites work: Q3404131 / rank @@
+Normal rank
@@ Property / cites work @@
+Supervisory Control of a Class of Discrete Event Processes
+Normal rank
@@ Property / cites work @@
+Q4789449
@@ Property / cites work: Q4789449 / rank @@
+Normal rank
@@ Property / cites work @@
+Introduction to Discrete Event Systems
@@ Property / cites work: Introduction to Discrete Event Systems / rank @@
+Normal rank
@@ Property / cites work @@
+A linear-time model-checking algorithm for the alternation-free modal mu- calculus
+Normal rank
@@ Property / cites work @@
+A class of non-deterministic specifications for supervisory control
+Normal rank
@@ Property / cites work @@
+Hierarchical Synthesis of Hybrid Controllers from Temporal Logic Specifications
+Normal rank
@@ Property / cites work @@
+Algebraic laws for nondeterminism and concurrency
@@ Property / cites work: Algebraic laws for nondeterminism and concurrency / rank @@
+Normal rank
@@ Property / cites work @@
+Maximally Permissive Controlled System Synthesis for Modal Logic
+Normal rank
@@ Property / cites work @@
+Supervisory Control of Discrete Event Systems with CTL* Temporal Logic Specifications
+Normal rank
@@ Property / cites work @@
+Q4536385
@@ Property / cites work: Q4536385 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4536596
@@ Property / cites work: Q4536596 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3141897
@@ Property / cites work: Q3141897 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4552484
@@ Property / cites work: Q4552484 / rank @@
+Normal rank
@@ Property / cites work @@
+Mathematical Foundations of Computer Science 2003
@@ Property / cites work: Mathematical Foundations of Computer Science 2003 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4205072
@@ Property / cites work: Q4205072 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2999201
@@ Property / cites work: Q2999201 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4782021
@@ Property / cites work: Q4782021 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:513185