Model Repair for Probabilistic Systems (Q3000664): 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 @@
+RealPaver
@@ Property / describes a project that uses: RealPaver / 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-642-19835-9_30
+Normal rank
@@ Property / OpenAlex ID @@
+W1574505635
@@ Property / OpenAlex ID: W1574505635 / rank @@
+Normal rank
@@ Property / cites work @@
+Enhancing model checking in verification by AI techniques
+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 @@
+Vacuity Checking in the Modal Mu-Calculus*
@@ Property / cites work: Vacuity Checking in the Modal Mu-Calculus* / rank @@
+Normal rank
@@ Property / cites work @@
+Algorithm 852
@@ Property / cites work: Algorithm 852 / rank @@
+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 @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Stochastic Model Checking
@@ Property / cites work: Stochastic Model Checking / rank @@
+Normal rank
@@ Property / cites work @@
+Parametric probabilistic transition systems for system design and analysis
+Normal rank