Parameter Synthesis Algorithms for Parametric Interval Markov Chains (Q5881537): Difference between revisions

@@ Property / describes a project that uses @@
+PRISM
@@ Property / describes a project that uses: PRISM / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+PRISM-PSY
@@ Property / describes a project that uses: PRISM-PSY / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+PROPhESY
@@ Property / describes a project that uses: PROPhESY / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+PVS
@@ Property / describes a project that uses: PVS / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q62047440
@@ Property / Wikidata QID: Q62047440 / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-319-92612-4_7
+Normal rank
@@ Property / OpenAlex ID @@
+W2806784953
@@ Property / OpenAlex ID: W2806784953 / rank @@
+Normal rank
@@ Property / cites work @@
+Reachability in parametric interval Markov chains using constraints
+Normal rank
@@ Property / cites work @@
+Q5186720
@@ Property / cites work: Q5186720 / rank @@
+Normal rank
@@ Property / cites work @@
+Model checking of open interval Markov chains
@@ Property / cites work: Model checking of open interval Markov chains / rank @@
+Normal rank
@@ Property / cites work @@
+On the complexity of model checking interval-valued discrete time Markov chains
+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 @@
+Q5240149
@@ Property / cites work: Q5240149 / rank @@
+Normal rank
@@ Property / cites work @@
+Abstract probabilistic automata
@@ Property / cites work: Abstract probabilistic automata / rank @@
+Normal rank
@@ Property / cites work @@
+Parameter Synthesis for Parametric Interval Markov Chains
+Normal rank
@@ Property / cites work @@
+Parametric probabilistic transition systems for system design and analysis
+Normal rank
@@ Property / cites work @@
+Parameter synthesis for Markov models: faster than ever
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5881537