Systems and methods are provided that implement virtual dataset creation and formal verification for artificial Intelligence (AI)/Machine Learning (ML) models in a manner that improves the performance of AI/ML models when encountering corner cases. For example, a corner case correction system is configured to synthesize new samples by recontextualizing samples related to corner cases, in new environments. The corner case correction system can implement an energetic neural process which separates input data into contextual features and content, and then recombines the context and content to synthesize new samples, generating a virtual dataset. The energetic neural process also performs a formal verification of the AI/ML models to address noise in the virtual dataset. The AI/ML model is trained using the virtual dataset, and an updated AI/ML model is created to execute predictive analysis for the corner cases associated with driving environments of autonomous vehicles.


    Zugriff

    Download


    Exportieren, teilen und zitieren



    Titel :

    SYSTEMS AND METHODS FOR FORMAL VERIFICATION OF CORNER CASES FOR AUTONOMOUS VEHICLES


    Beteiligte:
    SANCHEZ JUSTIN (Autor:in) / GUPTA ROHIT (Autor:in) / AMMAR NEJIB (Autor:in) / GANLATH AKILA C (Autor:in) / MISHRA SHATADAL (Autor:in)

    Erscheinungsdatum :

    13.03.2025


    Medientyp :

    Patent


    Format :

    Elektronische Ressource


    Sprache :

    Englisch


    Klassifikation :

    IPC:    B60W CONJOINT CONTROL OF VEHICLE SUB-UNITS OF DIFFERENT TYPE OR DIFFERENT FUNCTION , Gemeinsame Steuerung oder Regelung von Fahrzeug-Unteraggregaten verschiedenen Typs oder verschiedener Funktion




    Formal Verification of Autonomous Vehicle Platooning

    Kamali, Maryam / Dennis, Louise A. / McAree, Owen et al. | ArXiv | 2016

    Freier Zugriff

    Turning the Corner: Improved Intersection Controlfor Autonomous Vehicles

    Dresner, K. / Stone, P. / Institute of Electrical and Electronics Engineers | British Library Conference Proceedings | 2005



    Formal Verification of Autonomous Vehicles: Bridging the Gap between Model-Based Design and Model Checking

    Rao, Ananya / Wang, Yue | British Library Conference Proceedings | 2023