Toward trustworthy AI development: mechanisms for supporting verifiable claims M Brundage, S Avin, J Wang, H Belfield, G Krueger, G Hadfield, H Khlaaf, ... arXiv preprint arXiv:2004.07213, 2020 | 378 | 2020 |
Adaptive stress testing for autonomous vehicles M Koren, S Alsaif, R Lee, MJ Kochenderfer 2018 IEEE Intelligent Vehicles Symposium (IV), 1-7, 2018 | 221 | 2018 |
A survey of algorithms for black-box safety validation of cyber-physical systems A Corso, R Moss, M Koren, R Lee, M Kochenderfer Journal of Artificial Intelligence Research 72, 377–428-377–428, 2021 | 188 | 2021 |
Efficient autonomy validation in simulation with adaptive stress testing M Koren, MJ Kochenderfer 2019 IEEE Intelligent Transportation Systems Conference (ITSC), 4178-4183, 2019 | 59 | 2019 |
Finding failures in high-fidelity simulation using adaptive stress testing and the backward algorithm M Koren, A Nassar, MJ Kochenderfer 2021 IEEE/RSJ International Conference on Intelligent Robots and Systems …, 2021 | 25 | 2021 |
Adaptive stress testing without domain heuristics using go-explore M Koren, MJ Kochenderfer 2020 IEEE 23rd International Conference on Intelligent Transportation …, 2020 | 23 | 2020 |
Toward trustworthy AI development: Mechanisms for supporting verifiable claims. ArXiv M Brundage, S Avin, J Wang, H Belfield, G Krueger, G Hadfield, H Khlaaf, ... arXiv preprint arXiv:2004.07213, 2020 | 23 | 2020 |
The adaptive stress testing formulation M Koren, A Corso, MJ Kochenderfer arXiv preprint arXiv:2004.04293, 2020 | 21 | 2020 |
Toward trustworthy AI development: mechanisms for supporting verifiable claims (2020) M Brundage, S Avin, J Wang, H Belfield, G Krueger, G Hadfield, H Khlaaf, ... arXiv preprint arXiv:2004.07213, 2020 | 20 | 2020 |
Toward trustworthy AI development: Mechanisms for supporting verifiable claims. arXiv 2020 M Brundage, S Avin, J Wang, H Belfield, G Krueger, G Hadfield, H Khlaaf, ... arXiv preprint arXiv:2004.07213, 2004 | 16 | 2004 |
Frame interpolation using generative adversarial networks M Koren, K Menda, A Sharma Stanford University: Stanford, CA, USA, 2017 | 8 | 2017 |
Using Adaptive Stress Testing to Identify Paths to Ethical Dilemmas in Autonomous Systems. AK Reuel, M Koren, A Corso, MJ Kochenderfer SafeAI@ AAAI, 2022 | 4 | 2022 |
Approximate methods for validating autonomous systems in simulation M Koren Stanford University, 2021 | 3 | 2021 |
Convolutional neural networks for video frame interpolation A Sharma, K Menda, M Koren Neurocomputing, 2017 | 1 | 2017 |