Linear-Invariant Generation for Probabilistic Programs:

Static Analysis - Lecture Notes in Computer Science ◽

10.1007/978-3-642-15769-1_24 ◽

2010 ◽

pp. 390-406 ◽

Author(s):

Joost-Pieter Katoen ◽

Annabelle K. McIver ◽

Larissa A. Meinicke ◽

Carroll C. Morgan

Keyword(s):

Invariant Generation ◽

Linear Invariant ◽

Probabilistic Programs

Download Full-text

Linear invariant generation for verification of nonlinear hybrid systems via conservative approximation

Science China Information Sciences ◽

10.1007/s11432-015-0980-7 ◽

2016 ◽

Vol 60 (3) ◽

Author(s):

Xia Zeng ◽

Wang Lin ◽

Zhengfeng Yang ◽

Zhenbing Zeng

Keyword(s):

Hybrid Systems ◽

Invariant Generation ◽

Conservative Approximation ◽

Linear Invariant ◽

Nonlinear Hybrid

Download Full-text

Linear Invariant Generation Using Non-linear Constraint Solving

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/978-3-540-45069-6_39 ◽

2003 ◽

pp. 420-432 ◽

Author(s):

Michael A. Colón ◽

Sriram Sankaranarayanan ◽

Henny B. Sipma

Keyword(s):

Linear Constraint ◽

Constraint Solving ◽

Invariant Generation ◽

Linear Invariant

Download Full-text

Morphisms for Non-trivial Non-linear Invariant Generation for Algebraic Hybrid Systems

Hybrid Systems: Computation and Control - Lecture Notes in Computer Science ◽

10.1007/978-3-642-00602-9_32 ◽

2009 ◽

pp. 445-449 ◽

Author(s):

Nadir Matringe ◽

Arnaldo Vieira Moura ◽

Rachid Rebiha

Keyword(s):

Hybrid Systems ◽

Invariant Generation ◽

Linear Invariant

Download Full-text

A modular cost analysis for probabilistic programs

Proceedings of the ACM on Programming Languages ◽

10.1145/3428240 ◽

2020 ◽

Vol 4 (OOPSLA) ◽

pp. 1-30

Author(s):

Martin Avanzini ◽

Georg Moser ◽

Michael Schaper

Keyword(s):

Cost Analysis ◽

Probabilistic Programs

Download Full-text

λPSI: exact inference for higher-order probabilistic programs

Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation ◽

10.1145/3385412.3386006 ◽

2020 ◽

Author(s):

Timon Gehr ◽

Samuel Steffen ◽

Martin Vechev

Keyword(s):

Higher Order ◽

Exact Inference ◽

Probabilistic Programs

Download Full-text

Compositional Semantics for Probabilistic Programs with Exact Conditioning

2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) ◽

10.1109/lics52264.2021.9470552 ◽

2021 ◽

Author(s):

Dario Stein ◽

Sam Staton

Keyword(s):

Compositional Semantics ◽

Probabilistic Programs

Download Full-text

Incremental inference for probabilistic programs

ACM SIGPLAN Notices ◽

10.1145/3296979.3192399 ◽

2018 ◽

Vol 53 (4) ◽

pp. 571-585 ◽

Author(s):

Marco Cusumano-Towner ◽

Benjamin Bichsel ◽

Timon Gehr ◽

Martin Vechev ◽

Vikash K. Mansinghka

Keyword(s):

Probabilistic Programs

Download Full-text

Central moment analysis for cost accumulators in probabilistic programs

Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation ◽

10.1145/3453483.3454062 ◽

2021 ◽

Author(s):

Di Wang ◽

Jan Hoffmann ◽

Thomas Reps

Keyword(s):

Central Moment ◽

Moment Analysis ◽

Probabilistic Programs

Download Full-text

Transforming Probabilistic Programs for Model Checking

Proceedings of the 2020 ACM-IMS on Foundations of Data Science Conference ◽

10.1145/3412815.3416896 ◽

2020 ◽

Author(s):

Ryan Bernstein ◽

Matthijs Vákár ◽

Jeannette Wing

Keyword(s):

Model Checking ◽

Probabilistic Programs

Download Full-text

Symbolic conditioning of arrays in probabilistic programs

Proceedings of the ACM on Programming Languages ◽

10.1145/3110255 ◽

2017 ◽

Vol 1 (ICFP) ◽

pp. 1-25 ◽

Author(s):

Praveen Narayanan ◽

Chung-chieh Shan

Keyword(s):

Probabilistic Programs

Download Full-text