75 citations · 261 across the 31 of their papers we have counts for
4 papers · 1 filter
Mathematical Models of Human Drivers Using Artificial Risk Fields
Emily Jensen, Maya Luster, Hansol Yoon +2
In this paper, we use the concept of artificial risk fields to predict how human operators control a vehicle in response to upcoming road situations. A risk field assigns a non-neg…
Local Repair of Neural Networks Using Optimization
Keyvan Majd, Siyu Zhou, Heni Ben Amor +2
In this paper, we propose a framework to repair a pre-trained feed-forward neural network (NN) to satisfy a set of properties. We formulate the properties as a set of predicates th…
Static analysis of ReLU neural networks with tropical polyhedra
Eric Goubault, Sébastien Palumby, Sylvie Putot +2
This paper studies the problem of range analysis for feedforward neural networks, which is a basic primitive for applications such as robustness of neural networks, compliance to s…
Output Range Analysis for Deep Neural Networks
Souradeep Dutta, Susmit Jha, Sriram Sanakaranarayanan +1
Deep neural networks (NN) are extensively used for machine learning tasks such as image classification, perception and control of autonomous systems. Increasingly, these deep NNs a…