skip to main content
10.1145/3501710.3524735acmconferencesArticle/Chapter ViewAbstractPublication PagescpsweekConference Proceedingsconference-collections
research-article

Poster Abstract: Data-Driven Estimation of Collision Risks for Autonomous Vehicles with Formal Guarantees*

Published: 04 May 2022 Publication History

Abstract

No abstract available.

References

[1]
A. Lavaei, L. Di Lillo, A. Censi, and E. Frazzoli. 2021. Formal Estimation of Collision Risks for Autonomous Vehicles: A Compositional Data-Driven Approach. arXiv preprint:2112.07187(2021).
[2]
P. Mohajerin Esfahani, T. Sutter, and J. Lygeros. 2014. Performance bounds for the scenario approach and an extension to a class of non-convex programs. IEEE Trans. Automat. Control 60, 1 (2014), 46–58.
[3]
S. Prajna and A. Jadbabaie. 2004. Safety verification of hybrid systems using barrier certificates. In Proceedings of the International Conference on Hybrid Systems: Computation and Control (HSCC). 477–492.

Cited By

View all
  • (2023)Formal Estimation of Collision Risks for Autonomous Vehicles: A Compositional Data-Driven ApproachIEEE Transactions on Control of Network Systems10.1109/TCNS.2022.320336310:1(407-418)Online publication date: Mar-2023

Recommendations

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences
HSCC '22: Proceedings of the 25th ACM International Conference on Hybrid Systems: Computation and Control
May 2022
265 pages
ISBN:9781450391962
DOI:10.1145/3501710
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 04 May 2022

Permissions

Request permissions for this article.

Check for updates

Author Tags

  1. Autonomous vehicles
  2. Collision risks
  3. Compositional techniques
  4. Data-driven optimization
  5. Formal methods

Qualifiers

  • Research-article
  • Research
  • Refereed limited

Funding Sources

  • Swiss Reinsurance Company, Ltd.

Conference

HSCC '22
Sponsor:

Acceptance Rates

Overall Acceptance Rate 153 of 373 submissions, 41%

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)22
  • Downloads (Last 6 weeks)1
Reflects downloads up to 20 Jan 2025

Other Metrics

Citations

Cited By

View all
  • (2023)Formal Estimation of Collision Risks for Autonomous Vehicles: A Compositional Data-Driven ApproachIEEE Transactions on Control of Network Systems10.1109/TCNS.2022.320336310:1(407-418)Online publication date: Mar-2023

View Options

Login options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

HTML Format

View this article in HTML Format.

HTML Format

Media

Figures

Other

Tables

Share

Share

Share this Publication link

Share on social media