Neural predictive monitoring and a comparison of frequentist and Bayesian approaches
暂无分享,去创建一个
Nicola Paoletti | Scott A. Smolka | Luca Bortolussi | Scott D. Stoller | Francesca Cairoli | S. Stoller | S. Smolka | L. Bortolussi | Nicola Paoletti | Francesca Cairoli
[1] François Chollet,et al. Keras: The Python Deep Learning library , 2018 .
[2] P. Varaiya,et al. What ' s Decidable about Hybrid Automata ? 1 , 1995 .
[3] Luca Bortolussi,et al. Smoothed model checking for uncertain Continuous-Time Markov Chains , 2014, Inf. Comput..
[4] Sabri Boughorbel,et al. Optimal classifier for imbalanced data using Matthews Correlation Coefficient metric , 2017, PloS one.
[5] Xian Zhang,et al. Bayesian Neural Networks for Cellular Image Classification and Uncertainty Analysis , 2019, bioRxiv.
[6] J. Lygeros,et al. Neural approximation of PDE solutions: An application to reachability computations , 2006, Proceedings of the 45th IEEE Conference on Decision and Control.
[7] Lui Sha,et al. Real-Time Reachability for Verified Simplex Design , 2014, 2014 IEEE Real-Time Systems Symposium.
[8] David J. C. MacKay,et al. A Practical Bayesian Framework for Backpropagation Networks , 1992, Neural Computation.
[9] Nicola Paoletti,et al. Data-Driven Robust Control for Type 1 Diabetes Under Meal and Exercise Uncertainties , 2017, CMSB.
[10] Alexander Gammerman,et al. Hedging Predictions in Machine Learning: The Second Computer Journal Lecture , 2006, Comput. J..
[11] Lui Sha,et al. Using Simplicity to Control Complexity , 2001, IEEE Softw..
[12] Sergiy Bogomolov,et al. Hybrid automata: from verification to implementation , 2017, International Journal on Software Tools for Technology Transfer.
[13] Kilian Q. Weinberger,et al. On Calibration of Modern Neural Networks , 2017, ICML.
[14] Arie Gurfinkel,et al. Predictive Run-Time Verification of Discrete-Time Reachability Properties in Black-Box Systems Using Trace-Level Abstraction and Statistical Learning , 2018, RV.
[15] Jyotirmoy V. Deshmukh,et al. Predictive monitoring for signal temporal logic with probabilistic guarantees: poster abstract , 2019, HSCC.
[16] Dejan Nickovic,et al. Specification-Based Monitoring of Cyber-Physical Systems: A Survey on Theory, Tools and Applications , 2018, Lectures on Runtime Verification.
[17] Radu Grosu,et al. Neural State Classification for Hybrid Systems , 2018, ATVA.
[18] Nasser M. Nasrabadi,et al. Pattern Recognition and Machine Learning , 2006, Technometrics.
[19] Vladimir Vovk,et al. Conformal Prediction for Reliable Machine Learning: Theory, Adaptations and Applications , 2014 .
[20] Insup Lee,et al. Verisig: verifying safety properties of hybrid systems with neural network controllers , 2018, HSCC.
[21] Sergiy Bogomolov,et al. JuliaReach: a toolbox for set-based reachability , 2019, HSCC.
[22] Dustin Tran,et al. Edward: A library for probabilistic modeling, inference, and criticism , 2016, ArXiv.
[23] Vasile Palade,et al. Class Imbalance Learning Methods for Support Vector Machines , 2013 .
[24] Nicola Paoletti,et al. Neural Predictive Monitoring , 2019, RV.
[25] Geoffrey E. Hinton,et al. Learning internal representations by error propagation , 1986 .
[26] Yarin Gal,et al. Uncertainty in Deep Learning , 2016 .
[27] Sean Sedwards,et al. Accelerated Learning of Predictive Runtime Monitors for Rare Failure , 2019, RV.
[28] Harris Papadopoulos,et al. Inductive Conformal Prediction: Theory and Application to Neural Networks , 2008 .
[29] Ulrike Grömping,et al. Optimal Experimental Design with R , 2019 .
[30] Rajeev Alur,et al. Formal verification of hybrid systems , 2011, 2011 Proceedings of the Ninth ACM International Conference on Embedded Software (EMSOFT).
[31] Edmund M. Clarke,et al. dReal: An SMT Solver for Nonlinear Theories over the Reals , 2013, CADE.
[32] Xin Chen,et al. Model Predictive Real-Time Monitoring of Linear Systems , 2017, 2017 IEEE Real-Time Systems Symposium (RTSS).
[33] Radford M. Neal. Pattern Recognition and Machine Learning , 2007, Technometrics.
[34] David Fridovich-Keil,et al. Classification-based Approximate Reachability with Guarantees Applied to Safe Trajectory Tracking , 2018, ArXiv.
[35] Matthias Althoff,et al. An Introduction to CORA 2015 , 2015, ARCH@CPSWeek.
[36] Jeffrey S. Rosenthal,et al. Optimal Proposal Distributions and Adaptive MCMC , 2011 .
[37] Michael I. Jordan,et al. An Introduction to Variational Methods for Graphical Models , 1999, Machine Learning.
[38] Vladimir Vovk,et al. A tutorial on conformal prediction , 2007, J. Mach. Learn. Res..
[39] Ilia Nouretdinov,et al. Transcend: Detecting Concept Drift in Malware Classification Models , 2017, USENIX Security Symposium.
[40] Nicola Paoletti,et al. Conformal Predictions for Hybrid System State Classification , 2019, From Reactive Systems to Cyber-Physical Systems.
[41] Xin Chen,et al. Flow*: An Analyzer for Non-linear Hybrid Systems , 2013, CAV.
[42] Ulf Brefeld,et al. Support Vector Machines with Example Dependent Costs , 2003, ECML.
[43] Alexander Gammerman,et al. Combination of inductive mondrian conformal predictors , 2018, Machine Learning.
[44] Martin Fränzle,et al. Light-weight hybrid model checking facilitating online prediction of temporal properties , 2009 .
[45] Pravin Varaiya,et al. What's decidable about hybrid automata? , 1995, STOC '95.
[46] Carl E. Rasmussen,et al. Gaussian processes for machine learning , 2005, Adaptive computation and machine learning.
[47] Kurt Hornik,et al. Multilayer feedforward networks are universal approximators , 1989, Neural Networks.
[48] Radford M. Neal. MCMC Using Hamiltonian Dynamics , 2011, 1206.1901.
[49] VN Balasubramanian,et al. Support vector machine based conformal predictors for risk of complications following a coronary Drug Eluting Stent procedure , 2009, 2009 36th Annual Computers in Cardiology Conference (CinC).
[50] Georgios E. Fainekos,et al. On-Line Monitoring for Temporal Logic Robustness , 2014, RV.
[51] Lui Sha,et al. Real-Time Reachability for Verified Simplex Design , 2014, RTSS.
[52] G. Shafer,et al. Algorithmic Learning in a Random World , 2005 .
[53] Lázaro Emílio Makili,et al. Active Learning Using Conformal Predictors: Application to Image Classification , 2012 .
[54] Noah D. Goodman,et al. Pyro: Deep Universal Probabilistic Programming , 2018, J. Mach. Learn. Res..
[55] P. Massart. The Tight Constant in the Dvoretzky-Kiefer-Wolfowitz Inequality , 1990 .
[56] Natalia Gimelshein,et al. PyTorch: An Imperative Style, High-Performance Deep Learning Library , 2019, NeurIPS.
[57] Remus Pop,et al. Deep Ensemble Bayesian Active Learning : Addressing the Mode Collapse issue in Monte Carlo dropout via Ensembles , 2018, ArXiv.
[58] Garvit Juniwal,et al. Robust online monitoring of signal temporal logic , 2015, Formal Methods in System Design.
[59] Yuan Yu,et al. TensorFlow: A system for large-scale machine learning , 2016, OSDI.
[60] Zoubin Ghahramani,et al. Deep Bayesian Active Learning with Image Data , 2017, ICML.
[61] Insup Lee,et al. Assured Runtime Monitoring and Planning: Toward Verification of Neural Networks for Safe Autonomous Operations , 2020, IEEE Robotics & Automation Magazine.
[62] Peter I. Corke,et al. Episode-Based Active Learning with Bayesian Neural Networks , 2017, 2017 IEEE Conference on Computer Vision and Pattern Recognition Workshops (CVPRW).
[63] Yi Chou,et al. Predictive Runtime Monitoring for Linear Stochastic Systems and Applications to Geofence Enforcement for UAVs , 2019, RV.