Lexicographic ranking supermartingales: an efficient approach to termination of probabilistic programs, POPL, vol.2, p.32, 2018. ,
Principles of Model Checking, 2008. ,
lpsolve: Open source (mixed-integer) linear programming system, Eindhoven U. of Technology, 2004. ,
Proving Positive Almost-Sure Termination, RTA, pp.323-337, 2005. ,
URL : https://hal.archives-ouvertes.fr/inria-00000522
Probabilistic Program Analysis with Martingales, CAV, pp.511-526, 2013. ,
Termination of Nondeterministic Recursive Probabilistic Programs, VMCAI, 2019. ,
Termination Analysis of Probabilistic Programs Through Positivstellensatz's, CAV, pp.3-22, 2016. ,
Computational Approaches for Stochastic Shortest Path on Succinct MDPs, IJCAI 2018, pp.4700-4707, 2018. ,
Algorithmic analysis of qualitative and quantitative termination problems for affine probabilistic programs, pp.327-342, 2016. ,
Stochastic invariants for probabilistic termination, POPL, pp.145-160, 2017. ,
Bayesian inference using data flow analysis, Joint Meeting on Foundations of Software Engineering, pp.92-102, 2013. ,
Linear Invariant Generation Using Non-linear Constraint Solving, CAV, pp.420-432, 2003. ,
Proving Termination of Probabilistic Programs Using Patterns, CAV, pp.123-138, 2012. ,
Recursive Markov chains, stochastic grammars, and monotone systems of nonlinear equations, Journal of the ACM (JACM), vol.56, p.1, 2009. ,
, Mathematikaiés Természettudományi Értesitö, vol.12, pp.457-472, 1894.
Probabilistic Termination: Soundness, Completeness, and Compositionality, POPL, pp.489-501, 2015. ,
Assigning meanings to programs, Mathematical Aspects of Computer Science, vol.19, pp.19-33, 1967. ,
Probabilistic NetKAT, ESOP, pp.282-309, 2016. ,
Church: a language for generative models, UAI, pp.220-229, 2008. ,
The Design and Implementation of Probabilistic Programming Languages, 2014. ,
A model-learner pattern for Bayesian reasoning, In ACM SIGPLAN Notices, vol.48, pp.403-416, 2013. ,
Probabilistic programming, Proceedings of the on Future of Software Engineering, pp.167-181, 2014. ,
Proof Rules for Recursive Procedures, Formal Asp. Comput, vol.5, pp.554-570, 1993. ,
Probability Inequalities for Sums of Bounded Random Variables, J. Amer. Statist. Assoc, vol.58, pp.13-30, 1963. ,
New Approaches for Almost-Sure Termination of Probabilistic Programs, APLAS, pp.181-201, 2018. ,
Modular Verification for Almost-Sure Termination of Probabilistic Programs, OOPSLA, 2019. ,
URL : https://hal.archives-ouvertes.fr/hal-01985444
Probabilistic Non-Determinism. Ph.D. Dissertation. The University of Edinburgh, 1989. ,
Undecidable Problems for Probabilistic Network Programming, MFCS, vol.68, p.17, 2017. ,
Weakest Precondition Reasoning for Expected Run-Times of Probabilistic Programs, pp.364-389, 2016. ,
On the hardness of analyzing probabilistic programs, Acta Informatica, pp.1-31, 2018. ,
A Closer Look at Termination, Acta Inf, vol.5, pp.333-352, 1975. ,
Revised Lectures (Lecture Notes in Computer Science, Compositionality: The Significant Difference, International Symposium, COMPOS'97, vol.1536, pp.381-401, 1997. ,
Pólya urn models, JavaILP -Java Interface to ILP Solvers, 2008. ,
Foundations of statistical natural language processing, 1999. ,
Concentration, Probabilistic Methods for Algorithmic Discrete Mathematics, pp.195-248, 1998. ,
Developing and Reasoning About Probabilistic Programs in pGCL, PSSE, pp.123-155, 2004. ,
Abstraction, Refinement and Proof for Probabilistic Systems, 2005. ,
A new proof rule for almost-sure termination, PACMPL, vol.2, pp.1-33, 2018. ,
Bounded expectations: resource analysis for probabilistic programs, PLDI, pp.496-512, 2018. ,
Reasoning about Recursive Probabilistic Programs, LICS, pp.672-681, 2016. ,
A stochastic programming perspective on nonparametric Bayes, Nonparametric Bayesian Workshop, Int. Conf. on Machine Learning, vol.22, p.26, 2008. ,
Constraint-based linear-relations analysis, SAS, pp.53-68, 2004. ,
Combinatorial Optimization -Polyhedra and Efficiency, 2003. ,
Practical probabilistic programming with monads, In ACM SIGPLAN Notices, vol.50, pp.165-176, 2015. ,
Cantor meets Scott: semantic foundations for probabilistic networks, pp.557-571, 2017. ,
Probabilistic algorithms in robotics, Ai Magazine, vol.21, pp.52-57, 2000. ,
Design and Implementation of Probabilistic Programming Language Anglican, IFL. ACM, vol.6, pp.1-6, 2016. ,
PMAF: an algebraic framework for static analysis of probabilistic programs, PLDI, pp.513-528, 2018. ,
, Probability with Martingales, 1991.