Requirements-driven test generation for autonomous vehicles with machine learning components
Autonomous vehicles are complex systems that are challenging to test and debug. A
requirements-driven approach to the development process can decrease the resources …
requirements-driven approach to the development process can decrease the resources …
Efficient black-box assessment of autonomous vehicle safety
While autonomous vehicle (AV) technology has shown substantial progress, we still lack
tools for rigorous and scalable testing. Real-world testing, the $\textit {de-facto} $ evaluation …
tools for rigorous and scalable testing. Real-world testing, the $\textit {de-facto} $ evaluation …
VerifCar: a framework for modeling and model checking communicating autonomous vehicles
J Arcile, R Devillers, H Klaudel - Autonomous agents and multi-agent …, 2019 - Springer
This paper presents a framework, called VerifCar, devoted to the validation of decision
policies of communicating autonomous vehicles (CAVs). The approach focuses on the …
policies of communicating autonomous vehicles (CAVs). The approach focuses on the …
Training engineers in autonomous driving technologies using autoware
Autonomous vehicles are currently being tested and deployed under the control of a small
number of companies and research institutions, but eventually level 4 and level 5 vehicles …
number of companies and research institutions, but eventually level 4 and level 5 vehicles …
Search-based test generation for automated driving systems: From perception to control logic
CE Tuncali - 2019 - search.proquest.com
Automated driving systems are in an intensive research and development stage, and the
companies developing these systems are targeting to deploy them on public roads in a very …
companies developing these systems are targeting to deploy them on public roads in a very …
Conception, modélisation et vérification formelle d'un système temps-réel d'agents coopératifs: application aux véhicules autonomes communicants
J Arcile - 2019 - hal.science
Cette thèse est motivée par la questionde la validation de propriétés dans un
systèmecomposé de plusieurs agents mobiles prenants individuellementdes décisions en …
systèmecomposé de plusieurs agents mobiles prenants individuellementdes décisions en …
Dynamic exploration of multi-agent systems with timed periodic tasks
J Arcile, R Devillers, H Klaudel - arXiv preprint arXiv:1911.07591, 2019 - arxiv.org
We formalise and study multi-agent timed models MAPTs (Multi-Agent with timed Periodic
Tasks), where each agent is associated to a regular timed schema upon which all possibles …
Tasks), where each agent is associated to a regular timed schema upon which all possibles …
[引用][C] Otonom iş makinesi tasarımı ve algoritmasının oluşturulması
A Yildirim - platform.almanhal.com
منصة المنهل لقد انتهت الجلسة. يرجى العمل على إعادة تحديث الصفحة إعادة تحديث يرجى الانتظار...
يتم تحضير الملف الاستخدام المجاني إذا كنت ترغب في الوصول الكامل إلى هذا المحتوى وقاعدة …
يتم تحضير الملف الاستخدام المجاني إذا كنت ترغب في الوصول الكامل إلى هذا المحتوى وقاعدة …