Turnitin
降AI改写
早检测系统
早降重系统
Turnitin-UK版
万方检测-期刊版
维普编辑部版
Grammarly检测
Paperpass检测
checkpass检测
PaperYY检测
Recent advances in motion and behavior planning techniques for software architecture of autonomous vehicles: A state-of-the-art survey
Autonomous vehicles (AVs) have now drawn significant attentions in academic and
industrial research because of various advantages such as safety improvement, lower …
industrial research because of various advantages such as safety improvement, lower …
A review on human–machine trust evaluation: Human-centric and machine-centric perspectives
As complex autonomous systems become increasingly ubiquitous, their deployment and
integration into our daily lives will become a significant endeavor. Human–machine trust …
integration into our daily lives will become a significant endeavor. Human–machine trust …
Toward verified artificial intelligence
Toward verified artificial intelligence Page 1 46 COMMUNICATIONS OF THE ACM | JULY
2022 | VOL. 65 | NO. 7 contributed articles ILL US TRA TION B Y PETER CRO W THER A …
2022 | VOL. 65 | NO. 7 contributed articles ILL US TRA TION B Y PETER CRO W THER A …
MIT advanced vehicle technology study: Large-scale naturalistic driving study of driver behavior and interaction with automation
L Fridman, DE Brown, M Glazer, W Angell… - IEEE …, 2019 - ieeexplore.ieee.org
Today, and possibly for a long time to come, the full driving task is too complex an activity to
be fully formalized as a sensing-acting robotics system that can be explicitly solved through …
be fully formalized as a sensing-acting robotics system that can be explicitly solved through …
Design automation of cyber-physical systems: Challenges, advances, and opportunities
A cyber-physical system (CPS) is an integration of computation with physical processes
whose behavior is defined by both computational and physical parts of the system. In this …
whose behavior is defined by both computational and physical parts of the system. In this …
A learning based approach to control synthesis of markov decision processes for linear temporal logic specifications
We propose to synthesize a control policy for a Markov decision process (MDP) such that the
resulting traces of the MDP satisfy a linear temporal logic (LTL) property. We construct a …
resulting traces of the MDP satisfy a linear temporal logic (LTL) property. We construct a …
[PDF][PDF] MIT autonomous vehicle technology study: Large-scale deep learning based analysis of driver behavior and interaction with automation
L Fridman, DE Brown, M Glazer, W Angell… - arxiv preprint arxiv …, 2017 - researchgate.net
Today, and possibly for a long time to come, the full driving task is too complex an activity to
be fully formalized as a sensing-acting robotics system that can be explicitly solved through …
be fully formalized as a sensing-acting robotics system that can be explicitly solved through …
Synthesis for human-in-the-loop control systems
Several control systems in safety-critical applications involve the interaction of an
autonomous controller with one or more human operators. Examples include pilots …
autonomous controller with one or more human operators. Examples include pilots …
The value of inferring the internal state of traffic participants for autonomous freeway driving
ZN Sunberg, CJ Ho… - 2017 American control …, 2017 - ieeexplore.ieee.org
Safe interaction with human drivers is one of the primary challenges for autonomous
vehicles. In order to plan driving maneuvers effectively, the vehicle's control system must …
vehicles. In order to plan driving maneuvers effectively, the vehicle's control system must …
[HTML][HTML] A review on reinforcement learning-based highway autonomous vehicle control
Autonomous driving is an active area of research in artificial intelligence and robotics.
Recent advances in deep reinforcement learning (DRL) show promise for training …
Recent advances in deep reinforcement learning (DRL) show promise for training …