共 50 条
- [1] Learning inductive invariants by sampling from frequency distributions Formal Methods in System Design, 2020, 56 : 154 - 177
- [2] Sampling Invariants from Frequency Distributions PROCEEDINGS OF THE 17TH CONFERENCE ON FORMAL METHODS IN COMPUTER AIDED DESIGN (FMCAD 2017), 2017, : 100 - 107
- [3] Learning the Boundary of Inductive Invariants PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2021, 5 (POPL):
- [5] Inferring Inductive Invariants from Phase Structures COMPUTER AIDED VERIFICATION, CAV 2019, PT II, 2019, 11562 : 405 - 425
- [6] Formula Slicing: Inductive Invariants from Preconditions HARDWARE AND SOFTWARE: VERIFICATION AND TESTING, HVC 2016, 2016, 10028 : 169 - 185
- [8] On-Demand Sampling: Learning Optimally from Multiple Distributions ADVANCES IN NEURAL INFORMATION PROCESSING SYSTEMS 35, NEURIPS 2022, 2022,
- [9] AN INDUCTIVE PROOF OF THE SAMPLING DISTRIBUTIONS FOR THE MLES OF THE PARAMETERS IN AN INVERSE GAUSSIAN DISTRIBUTION AMERICAN STATISTICIAN, 1991, 45 (03): : 223 - 225
- [10] The near-irrelevance of sampling frequency distributions MAXIMUM ENTROPY AND BAYESIAN METHODS, 1999, 105 : 21 - 46