Simos Gerasimou

University of York

Heslington

University of York

York, YO10 5DD

United Kingdom

Learn more about SSRN Profiles

SCHOLARLY PAPERS

1

DOWNLOADS

41

TOTAL CITATIONS

0

Feedback

Scholarly Papers (1)

Sort by:

Actions:

View:
Selected
Original List
All Versions Hide All Versions
All Abstracts Hide All Abstracts

(Rank)

1.

Compositional Code-Level Safety Verification for Automated Driving Controllers

Number of pages: 15 Posted: 30 Sep 2024

Vladislav Nenchev, Calum Imrie, Simos Gerasimou and Radu Calinescu

BMW Group, University of York, University of York and University of York

Downloads 41 (1,183,237)

Abstract:

Feedback

All content on this site: Copyright © 2026 Elsevier Inc., its licensors, and contributors. All rights are reserved, including those for text and data mining, AI training, and similar technologies. For all open access content, the relevant licensing terms apply.

We use cookies to help provide and enhance our service and tailor content.

To learn more, visit .