SCAV'18: Report of the 2nd International Workshop on Safe Control of Autonomous Vehicles

11/05/2018
by   Mario Gleirscher, et al.
0

This report summarizes the discussions, open issues, take-away messages, and conclusions of the 2nd SCAV workshop.

READ FULL TEXT

page 1

page 2

page 3

research
09/07/2017

Proceedings First Workshop on Formal Verification of Autonomous Vehicles

These are the proceedings of the workshop on Formal Verification of Auto...
research
06/06/2014

Enhancements to ACL2 in Versions 6.2, 6.3, and 6.4

We report on improvements to ACL2 made since the 2013 ACL2 Workshop....
research
04/30/2013

Enhancements to ACL2 in Versions 5.0, 6.0, and 6.1

We report on highlights of the ACL2 enhancements introduced in ACL2 rele...
research
10/25/2018

HANDS18: Methods, Techniques and Applications for Hand Observation

This report outlines the proceedings of the Fourth International Worksho...
research
07/08/2020

A complete characterization of the APN property of a class of quadrinomials

In this paper, by the Hasse-Weil bound, we determine the necessary and s...
research
11/16/2018

The Barbados 2018 List of Open Issues in Continual Learning

We want to make progress toward artificial general intelligence, namely ...

Please sign up or login with your details

Forgot password? Click here to reset