Parameter and Controller Synthesis for Markov Chains with Actions and State Labels. (Q5240153): Difference between revisions

@@ label / en / label / en @@
+Parameter and Controller Synthesis for Markov Chains with Actions and State Labels.
@@ Property / describes a project that uses @@
+CASPA
@@ Property / describes a project that uses: CASPA / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+An Efficient Symbolic Elimination Algorithm for the Stochastic Process Algebra Tool CASPA
+Normal rank
@@ Property / cites work @@
+Q2754096
@@ Property / cites work: Q2754096 / rank @@
+Normal rank
@@ Property / cites work @@
+Theoretical Aspects of Computing - ICTAC 2004
@@ Property / cites work: Theoretical Aspects of Computing - ICTAC 2004 / rank @@
+Normal rank
@@ Property / cites work @@
+Process algebra for performance evaluation
@@ Property / cites work: Process algebra for performance evaluation / rank @@
+Normal rank
@@ Property / cites work @@
+Q4813205
@@ Property / cites work: Q4813205 / rank @@
+Normal rank
@@ Property / cites work @@
+Probabilistic Supervisory Control of Probabilistic Discrete Event Systems
+Normal rank
@@ Property / full work available at URL @@
+https://drops.dagstuhl.de/opus/volltexte/2015/5610/pdf/8.pdf/
+Normal rank
@@ Property / OpenAlex ID @@
+W2282501629
@@ Property / OpenAlex ID: W2282501629 / rank @@
+Normal rank
@@ Property / title @@
+Parameter and Controller Synthesis for Markov Chains with Actions and State Labels. (English)
+Normal rank