A Hemimetric Extension of Simulation for Semi-Markov Decision Processes (Q6104817): Difference between revisions

@@ Property / OpenAlex ID @@
+W2887548420
@@ Property / OpenAlex ID: W2887548420 / rank @@
+Normal rank
@@ Property / cites work @@
+Deciding bisimilarity and similarity for probabilistic processes.
+Normal rank
@@ Property / cites work @@
+Comparative branching-time semantics for Markov chains
+Normal rank
@@ Property / cites work @@
+On the Complexity of Computing Probabilistic Bisimilarity
+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 @@
+Interactive Markov chains. And the quest for quantified quality
+Normal rank
@@ Property / cites work @@
+A Compositional Approach to Performance Modelling
@@ Property / cites work: A Compositional Approach to Performance Modelling / rank @@
+Normal rank
@@ Property / cites work @@
+Strong Completeness for Markovian Logics
@@ Property / cites work: Strong Completeness for Markovian Logics / rank @@
+Normal rank
@@ Property / cites work @@
+Taking It to the Limit: Approximate Reasoning for Markov Processes
+Normal rank
@@ Property / cites work @@
+Bisimulation and Logical Preservation for Continuous-Time Markov Decision Processes
+Normal rank
@@ Property / cites work @@
+Q4847023
@@ Property / cites work: Q4847023 / rank @@
+Normal rank
@@ Property / cites work @@
+Stochastic orders
@@ Property / cites work: Stochastic orders / rank @@
+Normal rank
@@ Property / cites work @@
+Validation of Stochastic Systems
@@ Property / cites work: Validation of Stochastic Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimulations and Logical Characterizations on Continuous-Time Markov Decision Processes
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:6104817