Qualitative Approximate Behavior Composition (Q2915091): Difference between revisions

@@ Property / describes a project that uses @@
+MCMAS
@@ Property / describes a project that uses: MCMAS / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2117853997
@@ Property / OpenAlex ID: W2117853997 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.3863
@@ Property / arXiv ID: 1207.3863 / rank @@
+Normal rank
@@ Property / cites work @@
+Alternating-time temporal logic
@@ Property / cites work: Alternating-time temporal logic / rank @@
+Normal rank
@@ Property / cites work @@
+AUTOMATIC SERVICE COMPOSITION VIA SIMULATION
@@ Property / cites work: AUTOMATIC SERVICE COMPOSITION VIA SIMULATION / 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 @@
+Q3718435
@@ Property / cites work: Q3718435 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5313998
@@ Property / cites work: Q5313998 / rank @@
+Normal rank
@@ Property / cites work @@
+Approximation Metrics for Discrete and Continuous Systems
+Normal rank
@@ Property / cites work @@
+Synthesis from Component Libraries
@@ Property / cites work: Synthesis from Component Libraries / rank @@
+Normal rank
@@ Property / cites work @@
+Q4205072
@@ Property / cites work: Q4205072 / rank @@
+Normal rank
@@ Property / cites work @@
+Qualitative Approximate Behavior Composition
@@ Property / cites work: Qualitative Approximate Behavior Composition / rank @@
+Normal rank