DeepAI AI Chat

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 Universität München

∙

0

∙

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

READ FULL TEXT

Mario Gleirscher
23 publications
Sven Linker
8 publications
Stefan Kugele
3 publications

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...

0 Lukas Bulwahn, et al. ∙

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....

0 Matt Kaufmann, et al. ∙

research

∙ 08/25/2021

Report on Workshop III "Cited References Analysis Using CRExplorer" at the 18th International Conference of the International Society for Scientometrics and Informetrics (ISSI2

We have organized Workshop III entitled "Cited References Analysis Using...

0 Robin Haunschild, et al. ∙

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...

0 Matt Kaufmann, et al. ∙

research

∙ 10/25/2018

HANDS18: Methods, Techniques and Applications for Hand Observation

This report outlines the proceedings of the Fourth International Worksho...

0 Iason Oikonomidis, et al. ∙

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...

0 Kangquan Li, et al. ∙

research

∙ 11/16/2018

The Barbados 2018 List of Open Issues in Continual Learning

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

0 Tom Schaul, et al. ∙

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

Related Research

Proceedings First Workshop on Formal Verification of Autonomous Vehicles

Enhancements to ACL2 in Versions 6.2, 6.3, and 6.4

Report on Workshop III "Cited References Analysis Using CRExplorer" at the 18th International Conference of the International Society for Scientometrics and Informetrics (ISSI2

Enhancements to ACL2 in Versions 5.0, 6.0, and 6.1

HANDS18: Methods, Techniques and Applications for Hand Observation

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

The Barbados 2018 List of Open Issues in Continual Learning