3 papers
eess.SY2022
A Verification Framework for Certifying Learning-Based Safety-Critical Aviation Systems
Ali Baheri, Hao Ren, Benjamin Johnson +2
We present a safety verification framework for design-time and run-time assurance of learning-based components in aviation systems. Our proposed framework integrates two novel meth…
cs.LO2021
"ReLIC: Reduced Logic Inference for Composition" for Quantifier Elimination based Compositional Reasoning and Verification
Hao Ren, Ratnesh Kumar, Matthew Clark
The paper presents our research on quantifier elimination (QE) for compositional reasoning and verification. For compositional reasoning, QE provides the foundation of our approach…
cs.LG2019
Using Quantifier Elimination to Enhance the Safety Assurance of Deep Neural Networks
Hao Ren, Sai Krishnan Chandrasekar, Anitha Murugesan
Advances in the field of Machine Learning and Deep Neural Networks (DNNs) has enabled rapid development of sophisticated and autonomous systems. However, the inherent complexity to…