Follow
Mark Koren
Mark Koren
PhD Candidate in Stanford Intelligent Systems Lab, Stanford University
Verified email at stanford.edu - Homepage
Title
Cited by
Cited by
Year
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
3272020
Adaptive stress testing for autonomous vehicles
M Koren, S Alsaif, R Lee, MJ Kochenderfer
2018 IEEE Intelligent Vehicles Symposium (IV), 1-7, 2018
2002018
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
1682021
Efficient autonomy validation in simulation with adaptive stress testing
M Koren, MJ Kochenderfer
2019 IEEE Intelligent Transportation Systems Conference (ITSC), 4178-4183, 2019
562019
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
212020
The adaptive stress testing formulation
M Koren, A Corso, MJ Kochenderfer
arXiv preprint arXiv:2004.04293, 2020
202020
Adaptive stress testing without domain heuristics using go-explore
M Koren, MJ Kochenderfer
2020 IEEE 23rd International Conference on Intelligent Transportation …, 2020
192020
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
172020
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
152021
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
122004
Frame interpolation using generative adversarial networks
M Koren, K Menda, A Sharma
Stanford University: Stanford, CA, USA, 2017
72017
Using Adaptive Stress Testing to Identify Paths to Ethical Dilemmas in Autonomous Systems.
AK Reuel, M Koren, A Corso, MJ Kochenderfer
SafeAI@ AAAI, 2022
32022
Approximate methods for validating autonomous systems in simulation
M Koren
Stanford University, 2021
32021
Convolutional neural networks for video frame interpolation
A Sharma, K Menda, M Koren
Neurocomputing, 2017
12017
The system can't perform the operation now. Try again later.
Articles 1–14