Dynamic Observers for the Synthesis of Opaque Systems (Q3648711): Difference between revisions

@@ Property / author @@
+Hervé Marchand
@@ Property / author: Hervé Marchand / 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/978-3-642-04761-9_26
+Normal rank
@@ Property / OpenAlex ID @@
+W2168066002
@@ Property / OpenAlex ID: W2168066002 / rank @@
+Normal rank
@@ Property / cites work @@
+Test Generation for Network Security Rules
@@ Property / cites work: Test Generation for Network Security Rules / rank @@
+Normal rank
@@ Property / cites work @@
+Preserving Secrecy Under Refinement
@@ Property / cites work: Preserving Secrecy Under Refinement / rank @@
+Normal rank
@@ Property / cites work @@
+Concurrent secrets
@@ Property / cites work: Concurrent secrets / rank @@
+Normal rank
@@ Property / cites work @@
+Supervisory Control for Opacity
@@ Property / cites work: Supervisory Control for Opacity / rank @@
+Normal rank
@@ Property / cites work @@
+Q3602752
@@ Property / cites work: Q3602752 / rank @@
+Normal rank
@@ Property / cites work @@
+Dynamic Observers for the Synthesis of Opaque Systems
+Normal rank
@@ Property / cites work @@
+Q4131648
@@ Property / cites work: Q4131648 / rank @@
+Normal rank
@@ Property / cites work @@
+Model Checking on Trees with Path Equivalences
@@ Property / cites work: Model Checking on Trees with Path Equivalences / rank @@
+Normal rank
@@ Property / cites work @@
+Borel determinacy
@@ Property / cites work: Borel determinacy / rank @@
+Normal rank
@@ Property / cites work @@
+On the synthesis of strategies in infinite games
@@ Property / cites work: On the synthesis of strategies in infinite games / rank @@
+Normal rank
@@ Property / cites work @@
+A characterization of the minimum cycle mean in a digraph
+Normal rank
@@ Property / cites work @@
+The complexity of mean payoff games on graphs
@@ Property / cites work: The complexity of mean payoff games on graphs / rank @@
+Normal rank