DeepAI AI Chat
Log In Sign Up

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

11/05/2018
by   Mario Gleirscher, et al.
University of York
University of Liverpool
Technische Universität München
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

09/07/2017

Proceedings First Workshop on Formal Verification of Autonomous Vehicles

These are the proceedings of the workshop on Formal Verification of Auto...
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....
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...
10/25/2018

HANDS18: Methods, Techniques and Applications for Hand Observation

This report outlines the proceedings of the Fourth International Worksho...
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...
11/16/2018

The Barbados 2018 List of Open Issues in Continual Learning

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