# Compositional Verification for Autonomous Systems with Deep Learning Components

@article{Pasareanu2018CompositionalVF, title={Compositional Verification for Autonomous Systems with Deep Learning Components}, author={C. Pasareanu and D. Gopinath and H. Yu}, journal={ArXiv}, year={2018}, volume={abs/1810.08303} }

As autonomy becomes prevalent in many applications, ranging from recommendation systems to fully autonomous vehicles, there is an increased need to provide safety guarantees for such systems. The problem is difficult, as these are large, complex systems which operate in uncertain environments, requiring data-driven machine-learning components. However, learning techniques such as Deep Neural Networks, widely used today, are inherently unpredictable and lack the theoretical foundations to… CONTINUE READING

4 Citations

#### References

##### Publications referenced by this paper.

SHOWING 1-10 OF 20 REFERENCES

Compositional Falsification of Cyber-Physical Systems with Machine Learning Components

- Mathematics, Computer Science
- 2017

- 96
- PDF

Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks

- Computer Science
- 2017

- 656
- Highly Influential
- PDF

Learning to divide and conquer: applying the L* algorithm to automate assume-guarantee reasoning

- Computer Science
- 2008

- 137
- PDF

Stochastic Assume-Guarantee Contracts for Cyber-Physical System Design

- Mathematics, Computer Science
- 2019

- 7
- PDF

Verifying cyber-physical systems by combining software model checking with hybrid systems reachability

- Computer Science
- 2016

- 5
- PDF

Compositional assume-guarantee reasoning for input/output component theories

- Computer Science
- 2014

- 20
- PDF

DeepSafe: A Data-driven Approach for Checking Adversarial Robustness in Neural Networks

- Computer Science, Mathematics
- 2017

- 42
- PDF