A pseudometric in supervisory control of probabilistic discrete event systems (Q351739): Difference between revisions

@@ Property / cites work @@
+Q4289659
@@ Property / cites work: Q4289659 / rank @@
+Normal rank
@@ Property / cites work @@
+Discrete Dynamic Programming
@@ Property / cites work: Discrete Dynamic Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Structural transformations of probabilistic finite state machines
+Normal rank
@@ Property / cites work @@
+ν☆: a robot path planning algorithm based on renormalised measure of probabilistic regular languages
+Normal rank
@@ Property / cites work @@
+Q4270063
@@ Property / cites work: Q4270063 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4484498
@@ Property / cites work: Q4484498 / rank @@
+Normal rank
@@ Property / cites work @@
+Metrics for labelled Markov processes
@@ Property / cites work: Metrics for labelled Markov processes / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimulation Metrics for Continuous Markov Decision Processes
+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 @@
+Q3731958
@@ Property / cites work: Q3731958 / rank @@
+Normal rank
@@ Property / cites work @@
+A probabilistic PDL
@@ Property / cites work: A probabilistic PDL / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimulation through probabilistic testing
@@ Property / cites work: Bisimulation through probabilistic testing / rank @@
+Normal rank
@@ Property / cites work @@
+Supervisory control of probabilistic discrete-event systems with recovery
+Normal rank
@@ Property / cites work @@
+Autonomous robot navigation using optimal control of probabilistic regular languages
+Normal rank
@@ Property / cites work @@
+A pseudometric in supervisory control of probabilistic discrete event systems
+Normal rank
@@ Property / cites work @@
+Optimal Supervisory Control of Probabilistic Discrete Event Systems
+Normal rank
@@ Property / cites work @@
+Probabilistic Supervisory Control of Probabilistic Discrete Event Systems
+Normal rank
@@ Property / cites work @@
+Q4791270
@@ Property / cites work: Q4791270 / rank @@
+Normal rank
@@ Property / cites work @@
+A behavioural pseudometric for probabilistic transition systems
+Normal rank
@@ Property / cites work @@
+Approximating and computing behavioural distances in probabilistic transition systems
+Normal rank
@@ Property / cites work @@
+Automata, Languages and Programming
@@ Property / cites work: Automata, Languages and Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Recursively defined metric spaces without contraction
+Normal rank