共 50 条
- [3] Probabilistic Reachability for Parametric Markov Models MODEL CHECKING SOFTWARE, 2009, 5578 : 88 - 106
- [7] Probabilistic Error Models for Machine Learning Kernels Implemented on Stochastic Nanoscale Fabrics PROCEEDINGS OF THE 2016 DESIGN, AUTOMATION & TEST IN EUROPE CONFERENCE & EXHIBITION (DATE), 2016, : 481 - 486
- [9] Performance optimization for linear stochastic systems with probabilistic parametric uncertainties MED: 2009 17TH MEDITERRANEAN CONFERENCE ON CONTROL & AUTOMATION, VOLS 1-3, 2009, : 1203 - 1208