Local abstraction refinement for probabilistic timed programs (Q2453108): Difference between revisions

@@ Property / describes a project that uses @@
+MathSAT
@@ Property / describes a project that uses: MathSAT / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+PASS
@@ Property / describes a project that uses: PASS / 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.tcs.2013.07.013
+Normal rank
@@ Property / OpenAlex ID @@
+W2159969461
@@ Property / OpenAlex ID: W2159969461 / rank @@
+Normal rank
@@ Property / cites work @@
+The existence of refinement mappings
@@ Property / cites work: The existence of refinement mappings / rank @@
+Normal rank
@@ Property / cites work @@
+Lectures on Concurrency and Petri Nets
@@ Property / cites work: Lectures on Concurrency and Petri Nets / rank @@
+Normal rank
@@ Property / cites work @@
+Efficient generation of craig interpolants in satisfiability modulo theories
+Normal rank
@@ Property / cites work @@
+Q4798031
@@ Property / cites work: Q4798031 / rank @@
+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 @@
+Q4118602
@@ Property / cites work: Q4118602 / rank @@
+Normal rank
@@ Property / cites work @@
+Stochastic Games for Verification of Probabilistic Timed Automata
+Normal rank
@@ Property / cites work @@
+A Framework for Verification of Software with Time and Probabilities
+Normal rank
@@ Property / cites work @@
+Performance analysis of probabilistic timed automata using digital clocks
+Normal rank
@@ Property / cites work @@
+Automatic verification of real-time systems with discrete probability distributions.
+Normal rank
@@ Property / cites work @@
+Symbolic model checking for probabilistic timed automata
+Normal rank
@@ Property / cites work @@
+Markov Chains
@@ Property / cites work: Markov Chains / rank @@
+Normal rank
@@ Property / cites work @@
+Best Probabilistic Transformers
@@ Property / cites work: Best Probabilistic Transformers / rank @@
+Normal rank