NSTL国家科技图书文献中心

1. Safety, liability, and insurance markets in the age of automated driving NSTL国家科技图书文献中心

Vignon D. | Bahrami S. - 《Transportation research,Part B.Methodological》 - 2025,191(Jan.) - 1.1～1.18 - 共18页

摘要：-assisted automated* driving. In such an environment* | the age of infrastructure-assisted automated driving | of insurance in the age of automated* driving and* | © 2024 Elsevier LtdThis paper investigates two | fundamental questions related to safety and insurance in the

关键词： Automated vehicles | Driving automation | Infrastructure-assisted automated driving | Insurance | Safety

2. Code-Level Safety Verification for Automated Driving: A Case Study NSTL国家科技图书文献中心

Vladislav Nenchev | Calum Imrie ... - 《Formal Methods,Part II》 - International Symposium on Formal Methods - 2025, - 356～372 - 共17页

摘要：The formal safety analysis of automated | driving vehicles poses unique challenges due to their | dynamic operating conditions and significant complexity | . This paper presents a case study of applying formal | safety verification to adaptive cruise controllers

关键词： Model-based verification | Formal safety verification | Deep neural network verification | Adaptive cruise control | Automated driving

3. Strategic naps in automated driving − Sleep architecture predicts sleep inertia better than nap duration NSTL国家科技图书文献中心

Tomzig M. | Worle J.... - 《Accident Analysis and Prevention》 - 2025,209(Jan.) - 1.1～1.16 - 共16页

摘要： automated driving, there are currently no such strategies | automated driving. In our driving simulator study, 24 | driving automation, drivers can nap during parts of the | from aviation can be readily applied to automated | driving. Therefore, our study aimed to compare the

关键词： Automated driving | Napping duration | Sleep | Sleep architecture | Sleep inertia | Takeover

4. Methods to evaluate 3D lidars used for automated driving NSTL国家科技图书文献中心

Rachakonda, Prem | Mane, Abhilash ... - 《Measurement》 - 2025,239 - 115464.1～115464.19 - 共19页

摘要：Evaluating perception sensor systems for on | -road autonomous vehicles is still fraught with | ambiguity due to the varying and dynamic environmental | factors that these vehicles encounter. The critical | safety of on-road AV operations is heavily dependent on

关键词： Lidars | 3D sensors | Evaluation | Performance | ROS | Automated driving

5. Investment and financing of roadway digital infrastructure for automated driving NSTL国家科技图书文献中心

Ahmadian, Amir | Bahrami, Sina ... - 《Transportation research,Part B.Methodological》 - 2025,192(Feb.) - 1.1～1.22 - 共22页

摘要：Connected automated* vehicles (CAVs) are* | the development of efficient and safe automated | driving systems. The analyses on the self-financing | equipped with sensors, enabling them to scan and analyze | their surrounding environment. This capability

关键词： Connected automated vehicles | Cooperative sensing | Vehicular connectivity | Investment policy | AUTONOMOUS VEHICLES | CAPACITY CHOICE | GO WAVES | NETWORK | SAFETY | PERCEPTION

6. Leveraging Contracts for Failure Monitoring and Identification in Automated Driving Systems NSTL国家科技图书文献中心

Srajan Goyal | Alberto Griggio ... - 《Software Engineering and Formal Methods》 - International Conference on Software Engineering and Formal Methods - 2025, - 441～460 - 共20页

摘要： the safety assurance of automated* driving systems by* | As the deployment of AI agents in Automated | Driving Systems (ADS) becomes increasingly prevalent | , ensuring their safety and reliability is of paramount | importance. This paper presents a novel approach to enhance

关键词： Formal properties | Runtime verification | Test case generation | Autonomous systems | Assume-guarantee reasoning

7. 3D Lidar Point Cloud Segmentation for Automated Driving NSTL国家科技图书文献中心

Rashid Abbasi | Ali Kashif Bashir ... - 《IEEE Intelligent Transportation Systems Magazine》 - 2025,17(1) - 8～29 - 共22页

摘要：. Self-driving* systems commonly employ lidar to obtain* | The use of 3D point clouds (3DPCs) in deep | learning (DL) has recently gained popularity due to | several applications in fields such as computer vision | , autonomous systems, and robotics. DL, as a dominant

关键词： Three-dimensional displays | Sensors | Accuracy | Semantic segmentation | Laser radar | Annotations | Object recognition | Point cloud compression | Measurement | Deep learning...

8. User comfort and naturalness of automated driving: The effect of vehicle kinematic and proxemic factors on subjective response NSTL国家科技图书文献中心

Peng, Chen | Wei, Chongfeng ... - 《Applied Ergonomics》 - 2025,122 - 共10页

摘要： similarities between automated and users' manual driving | 4 automated* driving styles: two human-like* | section, to characterise the automated* driving styles* | automated driving styles, enhanced user comfort and | User comfort in higher-level Automated

关键词： ACCEPTANCE | DRIVERS

9. May the ODD Be With You: A Stakeholder Analysis on Operational Design Domains of Automated Driving Systems NSTL国家科技图书文献中心

Marcel Aguirre Mehlh... | Hauke Dierend ... - 《IEEE Open Journal of Intelligent Transportation Systems》 - 2025,6 - 310～321 - 共12页

摘要：Developing an automated* driving system (ADS* | -driving* system developers, regulators, and ADS customers* | ) is a complex task requiring collaboration between | various stakeholders. To support this process, the | concept of operational design domain (ODD) has emerged

关键词： Stakeholders | Business | Safety | Collaboration | Automation | Testing | Law | Economics | Urban areas | Taxonomy

10. Evaluation of Display Configuration and Seat Orientation Considering Various Automated Driving Situations Using a Vehicle Simulator NSTL国家科技图书文献中心

Hong, Sara | Kim, Su Kyeong ... - 《International Journal of Automotive Technology》 - 2025,26(1) - 99～114 - 共16页

摘要： a user experience viewpoint using a driving | evaluated in the movie-watching, the driving-monitoring | conversation, and the driving-monitoring situations. The | was found to be unsuitable for driving-monitoring | viewpoint in the driving-monitoring situation. The effect

摘要：-assisted automated* driving. In such an environment* | the age of infrastructure-assisted automated driving | of insurance in the age of automated* driving and* | © 2024 Elsevier LtdThis paper investigates two | fundamental questions related to safety and insurance in the

关键词： Automated vehicles | Driving automation | Infrastructure-assisted automated driving | Insurance | Safety

摘要：The formal safety analysis of automated | driving vehicles poses unique challenges due to their | dynamic operating conditions and significant complexity | . This paper presents a case study of applying formal | safety verification to adaptive cruise controllers

关键词： Model-based verification | Formal safety verification | Deep neural network verification | Adaptive cruise control | Automated driving

摘要： automated driving, there are currently no such strategies | automated driving. In our driving simulator study, 24 | driving automation, drivers can nap during parts of the | from aviation can be readily applied to automated | driving. Therefore, our study aimed to compare the

关键词： Automated driving | Napping duration | Sleep | Sleep architecture | Sleep inertia | Takeover

摘要：Evaluating perception sensor systems for on | -road autonomous vehicles is still fraught with | ambiguity due to the varying and dynamic environmental | factors that these vehicles encounter. The critical | safety of on-road AV operations is heavily dependent on

关键词： Lidars | 3D sensors | Evaluation | Performance | ROS | Automated driving

摘要：Connected automated* vehicles (CAVs) are* | the development of efficient and safe automated | driving systems. The analyses on the self-financing | equipped with sensors, enabling them to scan and analyze | their surrounding environment. This capability

关键词： Connected automated vehicles | Cooperative sensing | Vehicular connectivity | Investment policy | AUTONOMOUS VEHICLES | CAPACITY CHOICE | GO WAVES | NETWORK | SAFETY | PERCEPTION

摘要： the safety assurance of automated* driving systems by* | As the deployment of AI agents in Automated | Driving Systems (ADS) becomes increasingly prevalent | , ensuring their safety and reliability is of paramount | importance. This paper presents a novel approach to enhance

关键词： Formal properties | Runtime verification | Test case generation | Autonomous systems | Assume-guarantee reasoning

摘要：. Self-driving* systems commonly employ lidar to obtain* | The use of 3D point clouds (3DPCs) in deep | learning (DL) has recently gained popularity due to | several applications in fields such as computer vision | , autonomous systems, and robotics. DL, as a dominant

关键词： Three-dimensional displays | Sensors | Accuracy | Semantic segmentation | Laser radar | Annotations | Object recognition | Point cloud compression | Measurement | Deep learning...

摘要： similarities between automated and users' manual driving | 4 automated* driving styles: two human-like* | section, to characterise the automated* driving styles* | automated driving styles, enhanced user comfort and | User comfort in higher-level Automated

关键词： ACCEPTANCE | DRIVERS

摘要：Developing an automated* driving system (ADS* | -driving* system developers, regulators, and ADS customers* | ) is a complex task requiring collaboration between | various stakeholders. To support this process, the | concept of operational design domain (ODD) has emerged

关键词： Stakeholders | Business | Safety | Collaboration | Automation | Testing | Law | Economics | Urban areas | Taxonomy

摘要： a user experience viewpoint using a driving | evaluated in the movie-watching, the driving-monitoring | conversation, and the driving-monitoring situations. The | was found to be unsuitable for driving-monitoring | viewpoint in the driving-monitoring situation. The effect

关键词： User experience | Driving simulator | Vehicle interior | Display configuration | Seat orientation | Usability

4008-161-200 800-990-8900

国家科技图书文献中心

摘要：-assisted automated driving. In such an environment | the age of infrastructure-assisted automated driving | of insurance in the age of automated driving and | © 2024 Elsevier LtdThis paper investigates two | fundamental questions related to safety and insurance in the

关键词： Automated vehicles | Driving automation | Infrastructure-assisted automated driving | Insurance | Safety

摘要：The formal safety analysis of automated | driving vehicles poses unique challenges due to their | dynamic operating conditions and significant complexity | . This paper presents a case study of applying formal | safety verification to adaptive cruise controllers

关键词： Model-based verification | Formal safety verification | Deep neural network verification | Adaptive cruise control | Automated driving

摘要： automated driving, there are currently no such strategies | automated driving. In our driving simulator study, 24 | driving automation, drivers can nap during parts of the | from aviation can be readily applied to automated | driving. Therefore, our study aimed to compare the

关键词： Automated driving | Napping duration | Sleep | Sleep architecture | Sleep inertia | Takeover

摘要：Evaluating perception sensor systems for on | -road autonomous vehicles is still fraught with | ambiguity due to the varying and dynamic environmental | factors that these vehicles encounter. The critical | safety of on-road AV operations is heavily dependent on

关键词： Lidars | 3D sensors | Evaluation | Performance | ROS | Automated driving

摘要：Connected automated vehicles (CAVs) are | the development of efficient and safe automated | driving systems. The analyses on the self-financing | equipped with sensors, enabling them to scan and analyze | their surrounding environment. This capability

关键词： Connected automated vehicles | Cooperative sensing | Vehicular connectivity | Investment policy | AUTONOMOUS VEHICLES | CAPACITY CHOICE | GO WAVES | NETWORK | SAFETY | PERCEPTION

摘要： the safety assurance of automated driving systems by | As the deployment of AI agents in Automated | Driving Systems (ADS) becomes increasingly prevalent | , ensuring their safety and reliability is of paramount | importance. This paper presents a novel approach to enhance

关键词： Formal properties | Runtime verification | Test case generation | Autonomous systems | Assume-guarantee reasoning

摘要：. Self-driving systems commonly employ lidar to obtain | The use of 3D point clouds (3DPCs) in deep | learning (DL) has recently gained popularity due to | several applications in fields such as computer vision | , autonomous systems, and robotics. DL, as a dominant

关键词： Three-dimensional displays | Sensors | Accuracy | Semantic segmentation | Laser radar | Annotations | Object recognition | Point cloud compression | Measurement | Deep learning...

摘要： similarities between automated and users' manual driving | 4 automated driving styles: two human-like | section, to characterise the automated driving styles | automated driving styles, enhanced user comfort and | User comfort in higher-level Automated

关键词： ACCEPTANCE | DRIVERS

摘要：Developing an automated driving system (ADS | -driving system developers, regulators, and ADS customers | ) is a complex task requiring collaboration between | various stakeholders. To support this process, the | concept of operational design domain (ODD) has emerged

关键词： Stakeholders | Business | Safety | Collaboration | Automation | Testing | Law | Economics | Urban areas | Taxonomy

摘要： a user experience viewpoint using a driving | evaluated in the movie-watching, the driving-monitoring | conversation, and the driving-monitoring situations. The | was found to be unsuitable for driving-monitoring | viewpoint in the driving-monitoring situation. The effect

关键词： User experience | Driving simulator | Vehicle interior | Display configuration | Seat orientation | Usability

4008-161-200 800-990-8900

国家科技图书文献中心

摘要：-assisted automated* driving. In such an environment* | the age of infrastructure-assisted automated driving | of insurance in the age of automated* driving and* | © 2024 Elsevier LtdThis paper investigates two | fundamental questions related to safety and insurance in the

摘要：Connected automated* vehicles (CAVs) are* | the development of efficient and safe automated | driving systems. The analyses on the self-financing | equipped with sensors, enabling them to scan and analyze | their surrounding environment. This capability

摘要： the safety assurance of automated* driving systems by* | As the deployment of AI agents in Automated | Driving Systems (ADS) becomes increasingly prevalent | , ensuring their safety and reliability is of paramount | importance. This paper presents a novel approach to enhance

摘要：. Self-driving* systems commonly employ lidar to obtain* | The use of 3D point clouds (3DPCs) in deep | learning (DL) has recently gained popularity due to | several applications in fields such as computer vision | , autonomous systems, and robotics. DL, as a dominant

摘要： similarities between automated and users' manual driving | 4 automated* driving styles: two human-like* | section, to characterise the automated* driving styles* | automated driving styles, enhanced user comfort and | User comfort in higher-level Automated

摘要：Developing an automated* driving system (ADS* | -driving* system developers, regulators, and ADS customers* | ) is a complex task requiring collaboration between | various stakeholders. To support this process, the | concept of operational design domain (ODD) has emerged