On-the-fly verification and optimization of DTA-properties for large Markov chains (Q2248080): Difference between revisions

@@ 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/s10703-012-0165-1
+Normal rank
@@ Property / OpenAlex ID @@
+W2075743205
@@ Property / OpenAlex ID: W2075743205 / rank @@
+Normal rank
@@ Property / cites work @@
+A theory of timed automata
@@ Property / cites work: A theory of timed automata / rank @@
+Normal rank
@@ Property / cites work @@
+Continuous-time Markov chains. An applications-oriented approach
+Normal rank
@@ Property / cites work @@
+Efficient CTMC Model Checking of Linear Real-Time Objectives
+Normal rank
@@ Property / cites work @@
+Analysing Biochemical Oscillation through Probabilistic Model Checking
+Normal rank
@@ Property / cites work @@
+Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications
+Normal rank
@@ Property / cites work @@
+Bounding the equilibrium distribution of Markov population models
+Normal rank
@@ Property / cites work @@
+Q4485810
@@ Property / cites work: Q4485810 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3550030
@@ Property / cites work: Q3550030 / rank @@
+Normal rank