共 50 条
- [21] Towards Guaranteed Safety Assurance of Automated Driving Systems With Scenario Sampling: An Invariant Set Perspective IEEE TRANSACTIONS ON INTELLIGENT VEHICLES, 2022, 7 (03): : 638 - 651
- [26] A link that matters: towards phenomenological tests of unimodular asymptotic safety Journal of High Energy Physics, 2019
- [27] Safety Verification of Stochastic Systems: A Repetitive Scenario Approach IEEE CONTROL SYSTEMS LETTERS, 2023, 7 : 448 - 453
- [28] HAEMOVIGILANCE: STEPPING STONE TOWARDS BLOOD SAFETY- INDIAN SCENARIO INTERNATIONAL JOURNAL OF PHARMACEUTICAL SCIENCES AND RESEARCH, 2020, 11 (02): : 535 - 545
- [29] Towards Verified Safety-critical Autonomous Driving Scenario with ADSML 2021 IEEE 45TH ANNUAL COMPUTERS, SOFTWARE, AND APPLICATIONS CONFERENCE (COMPSAC 2021), 2021, : 1333 - 1338