Communities
Connect sessions
AI calendar
Organizations
Join Slack
Contact Sales
Search
Open menu
Home
Papers
1908.01094
Cited By
Requirements-driven Test Generation for Autonomous Vehicles with Machine Learning Components
IEEE Transactions on Intelligent Vehicles (IEEE Trans. Intell. Veh.), 2019
2 August 2019
Cumhur Erkan Tuncali
Georgios Fainekos
Danil Prokhorov
Hisahiro Ito
J. Kapinski
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"Requirements-driven Test Generation for Autonomous Vehicles with Machine Learning Components"
29 / 29 papers shown
Temporal Logic-Based Multi-Vehicle Backdoor Attacks against Offline RL Agents in End-to-end Autonomous Driving
Xuan Chen
Shiwei Feng
Zikang Xiong
Shengwei An
Yunshu Mao
Lu Yan
Guanhong Tao
Wenbo Guo
Xiangyu Zhang
AAML
256
2
0
21 Sep 2025
Efficient Safety Testing of Autonomous Vehicles via Adaptive Search over Crash-Derived Scenarios
Rui Zhou
130
1
0
07 Aug 2025
Navigating the Edge with the State-of-the-Art Insights into Corner Case Identification and Generation for Enhanced Autonomous Vehicle Safety
Gabriel Kenji Godoy Shimanuki
Alexandre Moreira Nascimento
Lucio Flavio Vismari
Joao Batista Camargo Junior
Jorge Rady de Almeida Junior
Paulo Sergio Cugnasca
277
2
0
27 Feb 2025
Multi-Objective Reinforcement Learning for Critical Scenario Generation of Autonomous Vehicles
Jiahui Wu
Chengjie Lu
Aitor Arrieta
Shaukat Ali
187
3
0
18 Feb 2025
From Dashcam Videos to Driving Simulations: Stress Testing Automated Vehicles against Rare Events
Yan Miao
Georgios Fainekos
Bardh Hoxha
Hideki Okamoto
Danil Prokhorov
Sayan Mitra
311
7
0
28 Jan 2025
Scaling Safe Multi-Agent Control for Signal Temporal Logic Specifications
Joe Eappen
Zikang Xiong
Dipam Patel
Aniket Bera
Suresh Jagannathan
200
5
0
10 Jan 2025
VCAT: Vulnerability-aware and Curiosity-driven Adversarial Training for Enhancing Autonomous Vehicle Robustness
Xuan Cai
Zhiyong Cui
Xuesong Bai
Ruimin Ke
Zhenshu Ma
Haiyang Yu
Yilong Ren
AAML
235
0
0
19 Sep 2024
Enhancing Automata Learning with Statistical Machine Learning: A Network Security Case Study
ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS), 2024
Negin Ayoughi
S. Nejati
M. Sabetzadeh
Patricio Saavedra
AAML
153
4
0
18 May 2024
CBFKIT: A Control Barrier Function Toolbox for Robotics Applications
IEEE/RJS International Conference on Intelligent RObots and Systems (IROS), 2024
Mitchell Black
Georgios Fainekos
Bardh Hoxha
Hideki Okamoto
Danil Prokhorov
237
4
0
10 Apr 2024
How to Evaluate Entity Resolution Systems: An Entity-Centric Framework with Application to Inventor Name Disambiguation
Olivier Binette
Youngsoo Baek
Siddharth Engineer
Christina Jones
Abel Dasylva
Jerome P. Reiter
207
3
0
08 Apr 2024
Adaptive Testing Environment Generation for Connected and Automated Vehicles with Dense Reinforcement Learning
Jingxuan Yang
Ruoxuan Bai
Haoyuan Ji
Yi Zhang
Jianming Hu
Shuo Feng
260
8
0
29 Feb 2024
Explainable AI for Safe and Trustworthy Autonomous Driving: A Systematic Review
Anton Kuznietsov
Bálint Gyevnár
Cheng Wang
Steven Peters
Stefano V. Albrecht
XAI
510
89
0
08 Feb 2024
Realistic Safety-critical Scenarios Search for Autonomous Driving System via Behavior Tree
Ping Zhang
Lingfeng Ming
Ting Yuan
Cong Qiu
Yang Li
Xinhua Hui
Zhi-qin Zhang
Chao Huang
150
3
0
11 May 2023
Safe Robot Learning in Assistive Devices through Neural Network Repair
Conference on Robot Learning (CoRL), 2023
K. Majd
Geoffrey Clark
Tanmay Khandait
Siyu Zhou
S. Sankaranarayanan
Georgios Fainekos
H. B. Amor
255
3
0
08 Mar 2023
Requirements Engineering Framework for Human-centered Artificial Intelligence Software Systems
Applied Soft Computing (Appl. Soft Comput.), 2023
Khlood Ahmad
Mohamed Abdelrazek
Chetan Arora
Arbind Agrahari Baniya
Muneera Bano
John C. Grundy
188
38
0
06 Mar 2023
Rationale-aware Autonomous Driving Policy utilizing Safety Force Field implemented on CARLA Simulator
H. Suk
Taewoo Kim
Hyungbin Park
Pamul Yadav
Junyong Lee
Shiho Kim
124
4
0
18 Nov 2022
One Ontology to Rule Them All: Corner Case Scenarios for Autonomous Driving
Daniel Bogdoll
Stefani Guneshka
J. Marius Zöllner
300
35
0
01 Sep 2022
Critical concrete scenario generation using scenario-based falsification
D. Karunakaran
J. S. Berrio
Stewart Worrall
E. Nebot
191
8
0
29 Aug 2022
Formalizing and Evaluating Requirements of Perception Systems for Automated Vehicles using Spatio-Temporal Perception Logic
Mohammad Hekmatnejad
Bardh Hoxha
Jyotirmoy V. Deshmukh
Yezhou Yang
Georgios Fainekos
261
10
0
29 Jun 2022
A Survey on Scenario-Based Testing for Automated Driving Systems in High-Fidelity Simulation
Ziyuan Zhong
Yun Tang
Yuan Zhou
V. Neves
Yang Liu
Baishakhi Ray
347
97
0
02 Dec 2021
Finding Critical Scenarios for Automated Driving Systems: A Systematic Literature Review
Xinhai Zhang
Jianbo Tao
Kaige Tan
Martin Törngren
José Manuel Gaspar Sánchez
...
Magnus Gyllenhammar
F. Wotawa
N. Mohan
Mihai Nica
Hermann Felbinger
200
47
0
16 Oct 2021
Local Repair of Neural Networks Using Optimization
K. Majd
Siyu Zhou
H. B. Amor
Georgios Fainekos
S. Sankaranarayanan
171
7
0
28 Sep 2021
Description of Corner Cases in Automated Driving: Goals and Challenges
Daniel Bogdoll
Jasmin Breitenstein
Florian Heidecker
Maarten Bieshaar
Bernhard Sick
Tim Fingscheidt
J. Marius Zöllner
334
61
0
20 Sep 2021
Software Engineering for AI-Based Systems: A Survey
ACM Transactions on Software Engineering and Methodology (TOSEM), 2021
Luís Cruz
Justus Bogner
Xavier Franch
Marc Oriol
Julien Siebert
Adam Trendowicz
Anna Maria Vollmer
Stefan Wagner
318
294
0
05 May 2021
A Software Engineering Perspective on Engineering Machine Learning Systems: State of the Art and Challenges
Journal of Systems and Software (JSS), 2020
G. Giray
388
160
0
14 Dec 2020
A Survey of Algorithms for Black-Box Safety Validation of Cyber-Physical Systems
Journal of Artificial Intelligence Research (JAIR), 2020
Anthony Corso
Robert J. Moss
Mark Koren
Ritchie Lee
Mykel J. Kochenderfer
346
201
0
06 May 2020
Search-based Test-Case Generation by Monitoring Responsibility Safety Rules
Mohammad Hekmatnejad
Bardh Hoxha
Georgios Fainekos
204
17
0
25 Apr 2020
Towards a Framework for Certification of Reliable Autonomous Systems
Autonomous Agents and Multi-Agent Systems (AAMAS), 2020
Michael Fisher
Viviana Mascardi
Kristin Yvonne Rozier
Bernd-Holger Schlingloff
Michael Winikoff
Neil Yorke-Smith
210
68
0
24 Jan 2020
Attacking Vision-based Perception in End-to-End Autonomous Driving Models
Journal of systems architecture (JSA), 2019
Adith Boloor
Karthik Garimella
Xin He
C. Gill
Yevgeniy Vorobeychik
Xuan Zhang
AAML
215
122
0
02 Oct 2019
1
Page 1 of 1
