Abstract model repair for probabilistic systems (Q1706149): Difference between revisions

@@ Property / author @@
-Panagiotis Katsaros
@@ Property / author: Panagiotis Katsaros / rank @@
-Normal rank
@@ Property / author @@
+Panagiotis Katsaros
@@ Property / author: Panagiotis Katsaros / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+PRISM
@@ Property / describes a project that uses: PRISM / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+CEGAR
@@ Property / describes a project that uses: CEGAR / 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 @@
+Maple
@@ Property / describes a project that uses: Maple / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Storm
@@ Property / describes a project that uses: Storm / 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.1016/j.ic.2018.02.019
+Normal rank
@@ Property / OpenAlex ID @@
+W2792547510
@@ Property / OpenAlex ID: W2792547510 / rank @@
+Normal rank
@@ Property / cites work @@
+Model Repair for Probabilistic Systems
@@ Property / cites work: Model Repair for Probabilistic Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Property preserving abstractions for the verification of concurrent systems
+Normal rank
@@ Property / cites work @@
+Q4791848
@@ Property / cites work: Q4791848 / rank @@
+Normal rank
@@ Property / cites work @@
+Abstract Model Repair
@@ Property / cites work: Abstract Model Repair / rank @@
+Normal rank
@@ Property / cites work @@
+Three-valued abstraction for probabilistic systems
+Normal rank
@@ Property / cites work @@
+Probabilistic CEGAR
@@ Property / cites work: Probabilistic CEGAR / rank @@
+Normal rank
@@ Property / cites work @@
+Abstraction Refinement for Probabilistic Software
@@ Property / cites work: Abstraction Refinement for Probabilistic Software / rank @@
+Normal rank
@@ Property / cites work @@
+A game-based abstraction-refinement framework for Markov decision processes
+Normal rank
@@ Property / cites work @@
+Q4798031
@@ Property / cites work: Q4798031 / rank @@
+Normal rank
@@ Property / cites work @@
+A counterexample-guided abstraction-refinement framework for markov decision processes
+Normal rank
@@ Property / cites work @@
+Quadratic programming is in NP
@@ Property / cites work: Quadratic programming is in NP / rank @@
+Normal rank
@@ Property / cites work @@
+Q4840764
@@ Property / cites work: Q4840764 / rank @@
+Normal rank
@@ Property / cites work @@
+A Computationally Efficient Feasible Sequential Quadratic Programming Algorithm
+Normal rank
@@ Property / cites work @@
+Understanding Maple
@@ Property / cites work: Understanding Maple / rank @@
+Normal rank
@@ Property / cites work @@
+Stochastic Model Checking
@@ Property / cites work: Stochastic Model Checking / rank @@
+Normal rank
@@ Property / cites work @@
+Q5322945
@@ Property / cites work: Q5322945 / rank @@
+Normal rank
@@ Property / cites work @@
+Performance analysis of probabilistic timed automata using digital clocks
+Normal rank
@@ Property / cites work @@
+System design of stochastic models using robustness of temporal properties
+Normal rank
@@ Property / cites work @@
+Enhancing model checking in verification by AI techniques
+Normal rank
@@ Property / cites work @@
+Optimal state-space lumping in Markov chains
@@ Property / cites work: Optimal state-space lumping in Markov chains / rank @@
+Normal rank
@@ Property / cites work @@
+Q5111436
@@ Property / cites work: Q5111436 / rank @@
+Normal rank
@@ Property / cites work @@
+On Abstraction of Probabilistic Systems
@@ Property / cites work: On Abstraction of Probabilistic Systems / rank @@
+Normal rank