Proceedings of the 1st International Workshop on Verification of Autonomous & Robotic Systems
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 11)

H-INDEX

(FIVE YEARS 0)

Published By ACM

9781450384445

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Analysis of neural network takeover-time predictions for shared-control autonomous driving

Proceedings of the 1st International Workshop on Verification of Autonomous & Robotic Systems ◽

10.1145/3459086.3459630 ◽

2021 ◽

Author(s):

Corina S. Păsăreanu

Keyword(s):

Neural Network ◽

Autonomous Driving ◽

Shared Control

Towards rigorous neural control

Proceedings of the 1st International Workshop on Verification of Autonomous & Robotic Systems ◽

10.1145/3459086.3459633 ◽

2021 ◽

Author(s):

Sicun Gao

Keyword(s):

Neural Control

Verifiable autonomy under perceptual limitations

Proceedings of the 1st International Workshop on Verification of Autonomous & Robotic Systems ◽

10.1145/3459086.3459635 ◽

2021 ◽

Author(s):

Ufuk Topcu

Towards combining deep learning, verification, and scenario-based programming

Proceedings of the 1st International Workshop on Verification of Autonomous & Robotic Systems ◽

10.1145/3459086.3459631 ◽

2021 ◽

Author(s):

Guy Katz ◽

Achiya Elyasaf

Keyword(s):

Deep Learning

Safe control from signal temporal logic specifications using recurrent neural networks

Proceedings of the 1st International Workshop on Verification of Autonomous & Robotic Systems ◽

10.1145/3459086.3459629 ◽

2021 ◽

Author(s):

Calin Belta

Keyword(s):

Neural Networks ◽

Temporal Logic ◽

Recurrent Neural Networks ◽

Safe Control

Specification development for autonomous system behavior

Proceedings of the 1st International Workshop on Verification of Autonomous & Robotic Systems ◽

10.1145/3459086.3459634 ◽

2021 ◽

Author(s):

Signe A. Redfield

Keyword(s):

Autonomous System ◽

System Behavior

Safety and reliability of deep learning

Proceedings of the 1st International Workshop on Verification of Autonomous & Robotic Systems ◽

10.1145/3459086.3459636 ◽

2021 ◽

Author(s):

Xiaowei Huang

Keyword(s):

Deep Learning ◽

Safety And Reliability

Using control synthesis for falsification and corner case generation

Proceedings of the 1st International Workshop on Verification of Autonomous & Robotic Systems ◽

10.1145/3459086.3459632 ◽

2021 ◽

Author(s):

Necmiye Ozay

Keyword(s):

Control Synthesis

Towards verifying neural autonomous systems

Proceedings of the 1st International Workshop on Verification of Autonomous & Robotic Systems ◽

10.1145/3459086.3459627 ◽

2021 ◽

Author(s):

Alessio Lomuscio

Keyword(s):

Autonomous Systems

CyRes

Proceedings of the 1st International Workshop on Verification of Autonomous & Robotic Systems ◽

10.1145/3459086.3460119 ◽

2021 ◽

Author(s):

Kerstin Eder

Proceedings of the 1st International Workshop on Verification of Autonomous & Robotic SystemsLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By ACM

Analysis of neural network takeover-time predictions for shared-control autonomous driving

Towards rigorous neural control

Verifiable autonomy under perceptual limitations

Towards combining deep learning, verification, and scenario-based programming

Safe control from signal temporal logic specifications using recurrent neural networks

Specification development for autonomous system behavior

Safety and reliability of deep learning

Using control synthesis for falsification and corner case generation

Towards verifying neural autonomous systems

CyRes

Proceedings of the 1st International Workshop on Verification of Autonomous & Robotic Systems
Latest Publications