共 50 条
- [21] Probabilistic argumentation systems with decision variable [J]. INFORMATICA, 2005, 16 (01) : 3 - 18
- [22] Probabilistic model on stochastic fatigue damage [J]. INTERNATIONAL JOURNAL OF FATIGUE, 2000, 22 (07) : 569 - 572
- [25] Probabilistic Model for Code with Decision Trees [J]. ACM SIGPLAN NOTICES, 2016, 51 (10) : 731 - 747
- [26] Probabilistic Modular Embedding for Stochastic Coordinated Systems [J]. COORDINATION MODELS AND LANGUAGES, COORDINATION 2013, 2013, 7890 : 151 - 165
- [27] A Statistical Approach to Test Stochastic and Probabilistic Systems [J]. FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS, 2009, 5885 : 186 - +
- [28] ProPPA: Probabilistic Programming for Stochastic Dynamical Systems [J]. ACM TRANSACTIONS ON MODELING AND COMPUTER SIMULATION, 2018, 28 (01):
- [29] An Experience on Probabilistic Model Checking and Stochastic Simulation to Design Self-Organizing Systems [J]. 2009 IEEE CONGRESS ON EVOLUTIONARY COMPUTATION, VOLS 1-5, 2009, : 1538 - +