scientific article; zbMATH DE number 1832220
From MaRDI portal
Publication:4778698
zbMATH Open0997.68515MaRDI QIDQ4778698FDOQ4778698
Authors: David Monniaux 
Publication date: 19 November 2002
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2126/21260111
Title of this publication is not available (Why is that?)
Recommendations
- Termination analysis of probabilistic programs through Positivstellensatz's
- Probabilistic semantics of terminating programs
- scientific article; zbMATH DE number 4076588
- scientific article; zbMATH DE number 1927425
- Termination Analysis of Probabilistic Programs with Martingales
- New approaches for almost-sure termination of probabilistic programs
- Termination of nondeterministic probabilistic programs
- Automated termination analysis of polynomial probabilistic programs
- On the termination problem for probabilistic higher-order recursive programs
Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55)
Cited In (16)
- An abstract Monte-Carlo method for the analysis of probabilistic programs
- Title not available (Why is that?)
- Time-bounded termination analysis for probabilistic programs with delays
- The probabilistic termination tool amber
- Weakest precondition reasoning for expected run-times of probabilistic programs
- Termination of floating-point computations
- Sound and Complete Certificates for Quantitative Termination Analysis of Probabilistic Programs
- On Lexicographic Proof Rules for Probabilistic Termination
- New approaches for almost-sure termination of probabilistic programs
- Automated termination analysis of polynomial probabilistic programs
- On lexicographic proof rules for probabilistic termination
- An analysis for proving probabilistic termination of biological systems
- Moment-based analysis of Bayesian network properties
- Title not available (Why is that?)
- Stochastic invariants for probabilistic termination
- Fair termination for parameterized probabilistic concurrent systems
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4778698)
