Probabilistic Model Checking of Labelled Markov Processes via Finite Approximate Bisimulations (Q5418954): Difference between revisions

@@ Property / Wikidata QID @@
+Q112268311
@@ Property / Wikidata QID: Q112268311 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+PRISM
@@ Property / describes a project that uses: PRISM / 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-319-06880-0_2
+Normal rank
@@ Property / OpenAlex ID @@
+W660320
@@ Property / OpenAlex ID: W660320 / rank @@
+Normal rank
@@ Property / cites work @@
+Approximate Abstractions of Stochastic Hybrid Systems
+Normal rank
@@ Property / cites work @@
+Approximate model checking of stochastic hybrid systems
+Normal rank
@@ Property / cites work @@
+Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems
+Normal rank
@@ Property / cites work @@
+Q5322945
@@ Property / cites work: Q5322945 / rank @@
+Normal rank
@@ Property / cites work @@
+Stochastic optimal control. The discrete time case
+Normal rank
@@ Property / cites work @@
+Model checking of probabilistic and nondeterministic systems
+Normal rank
@@ Property / cites work @@
+Foundations of Software Science and Computational Structures
+Normal rank
@@ Property / cites work @@
+Approximating Markov Processes by Averaging
@@ Property / cites work: Approximating Markov Processes by Averaging / rank @@
+Normal rank
@@ Property / cites work @@
+Q2844076
@@ Property / cites work: Q2844076 / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimulation for labelled Markov processes
@@ Property / cites work: Bisimulation for labelled Markov processes / 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 @@
+Continuous stochastic logic characterizes bisimulation of continuous-time Markov processes.
+Normal rank
@@ Property / cites work @@
+Approximating labelled Markov processes
@@ Property / cites work: Approximating labelled Markov processes / rank @@
+Normal rank
@@ Property / cites work @@
+Robust PCTL model checking
@@ Property / cites work: Robust PCTL model checking / rank @@
+Normal rank
@@ Property / cites work @@
+Adaptive and Sequential Gridding Procedures for the Abstraction and Verification of Stochastic Processes
+Normal rank
@@ Property / cites work @@
+Hybrid Systems: Computation and Control
@@ Property / cites work: Hybrid Systems: Computation and Control / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimulation Metrics for Continuous Markov Decision Processes
+Normal rank
@@ Property / cites work @@
+A logic for reasoning about time and reliability
@@ Property / cites work: A logic for reasoning about time and reliability / rank @@
+Normal rank
@@ Property / cites work @@
+Error bounds for rolling horizon policies in discrete-time Markov control processes
+Normal rank
@@ Property / cites work @@
+On finite-state approximants for probabilistic computation tree logic
+Normal rank
@@ Property / cites work @@
+Approximations of Stochastic Hybrid Systems
@@ Property / cites work: Approximations of Stochastic Hybrid Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Taking It to the Limit: Approximate Reasoning for Markov Processes
+Normal rank
@@ Property / cites work @@
+Bisimulation through probabilistic testing
@@ Property / cites work: Bisimulation through probabilistic testing / rank @@
+Normal rank
@@ Property / cites work @@
+Electric load model synthesis by diffusion approximation of a high-order hybrid-state stochastic system
+Normal rank
@@ Property / cites work @@
+Markov chains and stochastic stability
@@ Property / cites work: Markov chains and stochastic stability / rank @@
+Normal rank
@@ Property / cites work @@
+Q3619416
@@ Property / cites work: Q3619416 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4315289
@@ Property / cites work: Q4315289 / rank @@
+Normal rank
@@ Property / cites work @@
+Characterization and computation of infinite-horizon specifications over Markov processes
+Normal rank
@@ Property / cites work @@
+Formula-free finite abstractions for linear temporal verification of stochastic hybrid systems
+Normal rank
@@ Property / cites work @@
+On approximation metrics for linear temporal model-checking of stochastic systems
+Normal rank
@@ Property / cites work @@
+Q4791270
@@ Property / cites work: Q4791270 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4535035
@@ Property / cites work: Q4535035 / rank @@
+Normal rank
@@ Property / cites work @@
+Symbolic Control of Stochastic Systems via Approximately Bisimilar Finite Abstractions
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5418954