SEARCH ALGORITHMS AND SAFETY VERIFICATION FOR COMPLIANT DOMAIN VOLUMES

Provided are methods for search algorithms and safety verification for compliant domain volumes. The present techniques include identifying a parameterized scenario space and objective function. A boundary between compliant scenarios and non-compliant scenarios for metrics in the parameterized scenario space is determined. A total boundary of a domain volume corresponding to the parameterized scenario space is identified based on the boundaries between the compliant scenarios and non-compliant scenarios for each metric in the parameterized scenario space.Provided are methods for search algorithms and safety verification for compliant domain volumes. The present techniques include identifying a parameterized scenario space and objective function. A boundary between compliant scenarios and non-compliant scenarios for metrics in the parameterized scenario space is determined. A total boundary of a domain volume corresponding to the parameterized scenario space is identified based on boundaries between compliant scenarios and non-compliant scenarios for each metric in the parameterized scenario space. L'invention concerne des procédés pour des algorithmes de recherche et une vérification de sécurité pour des volumes de domaine conformes. Les présentes techniques comprennent l'identification d'un espace de scénario paramétré et d'une fonction objective. Une limite entre des scénarios conformes et des scénarios non conformes pour des métriques dans l'espace de scénario paramétré est déterminée. Une limite totale d'un volume de domaine correspondant à l'espace de scénario paramétré est identifiée sur la base des limites entre les scénarios conformes et des scénarios non conformes pour chaque métrique dans l'espace de scénario paramétré.