共 50 条
- [21] Modular Verification for Almost-Sure Termination of Probabilistic Programs PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2019, 3 (OOPSLA):
- [22] Quantitative Bounds on Resource Usage of Probabilistic Programs PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2024, 8 (OOPSLA):
- [24] Agent independent probabilistic robustness certificates for robust optimization programs with uncertain quadratic cost 2020 59TH IEEE CONFERENCE ON DECISION AND CONTROL (CDC), 2020, : 554 - 559
- [25] Termination Analysis of linear Loop Programs ICICTA: 2009 SECOND INTERNATIONAL CONFERENCE ON INTELLIGENT COMPUTATION TECHNOLOGY AND AUTOMATION, VOL IV, PROCEEDINGS, 2009, : 677 - +
- [26] Termination Analysis of Linear Programs with Conditionals 2008 INTERNATIONAL CONFERENCE ON ADVANCED COMPUTER THEORY AND ENGINEERING, 2008, : 450 - 456
- [27] Automatic termination analysis of logic programs LOGIC PROGRAMMING: PROCEEDINGS OF THE FOURTEENTH INTERNATIONAL CONFERENCE ON LOGIC PROGRAMMING, 1997, : 63 - 77
- [28] Termination Analysis by Learning Terminating Programs COMPUTER AIDED VERIFICATION, CAV 2014, 2014, 8559 : 797 - 813
- [30] Incremental Analysis for Probabilistic Programs STATIC ANALYSIS (SAS 2017), 2017, 10422 : 450 - 472