Search Results for author:
Found 4 papers, 2 papers with code
Discrete-Event Controller Synthesis for Autonomous Systems with Deep-Learning Perception Components
We use the method in simulation to synthesise controllers for mobile-robot collision mitigation and for maintaining driver attentiveness in shared-control autonomous driving.
Self-Correcting Neural Networks For Safe Classification
These constraints relate requirements on the order of the classes output by a classifier to conditions on its input, and are expressive enough to encode various interesting examples of classifier safety specifications from the literature.
On using distributed representations of source code for the detection of C security vulnerabilities
This paper presents an evaluation of the code representation model Code2vec when trained on the task of detecting security vulnerabilities in C source code.
Fast Geometric Projections for Local Robustness Certification
Local robustness ensures that a model classifies all inputs within an $\ell_2$-ball consistently, which precludes various forms of adversarial inputs.
