Inductive synthesis for probabilistic programs reaches new horizons (Q2044199): Difference between revisions

@@ Property / cites work @@
+Counterexample Generation for Discrete-Time Markov Models: An Introductory Survey
+Normal rank
@@ Property / cites work @@
+Model Checking Probabilistic Systems
@@ Property / cites work: Model Checking Probabilistic Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Parametric Markov chains: PCTL complexity and fraction-free Gaussian elimination
+Normal rank
@@ Property / cites work @@
+Model Repair for Probabilistic Systems
@@ Property / cites work: Model Repair for Probabilistic Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Optimizing synthesis with metasketches
@@ Property / cites work: Optimizing synthesis with metasketches / rank @@
+Normal rank
@@ Property / cites work @@
+Precise parameter synthesis for stochastic biochemical systems
+Normal rank
@@ Property / cites work @@
+Abstract model repair for probabilistic systems
@@ Property / cites work: Abstract model repair for probabilistic systems / rank @@
+Normal rank
@@ Property / cites work @@
+Reachability in augmented interval Markov chains
@@ Property / cites work: Reachability in augmented interval Markov chains / rank @@
+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 @@
+Fast Debugging of PRISM Models
@@ Property / cites work: Fast Debugging of PRISM Models / rank @@
+Normal rank
@@ Property / cites work @@
+Farkas Certificates and Minimal Witnesses for Probabilistic Reachability Constraints
+Normal rank
@@ Property / cites work @@
+Probabilistic self-stabilization
@@ Property / cites work: Probabilistic self-stabilization / rank @@
+Normal rank
@@ Property / cites work @@
+Probabilistic verification of Herman's self-stabilisation algorithm
+Normal rank
@@ Property / cites work @@
+Q4382665
@@ Property / cites work: Q4382665 / rank @@
+Normal rank
@@ Property / cites work @@
+A Concise Introduction to Decentralized POMDPs
@@ Property / cites work: A Concise Introduction to Decentralized POMDPs / rank @@
+Normal rank
@@ Property / cites work @@
+Q4315289
@@ Property / cites work: Q4315289 / rank @@
+Normal rank
@@ Property / cites work @@
+Parameter synthesis for Markov models: faster than ever
+Normal rank
@@ Property / cites work @@
+High-level Counterexamples for Probabilistic Automata
+Normal rank