3 citations · 3 across the 1 of their papers we have counts for
2 papers
cs.SE2022★ 3 cited
DesCert: Design for Certification
Natarajan Shankar, Devesh Bhatt, Michael Ernst +8
The goal of the DARPA Automated Rapid Certification Of Software (ARCOS) program is to "automate the evaluation of software assurance evidence to enable certifiers to determine rapi…
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…