Concepedia

Mark Koren

MK

6

Publications

679

Citations

6

H-Index

2018

Active since

Affiliations

Stanford University(Current)

American Institute of Aeronautics and Astronautics

Mark Koren is an author at Stanford University specializing in engineering, computer science, and intelligent systems.

Top concepts

EngineeringComputer ScienceIntelligent SystemsAutomationVerificationRobot LearningAutonomous SystemsSystems EngineeringArtificial IntelligenceSafety Science

Publications per year

2018–2021

6

Publications

6

Toward Trustworthy AI Development: Mechanisms for Supporting Verifiable Claims

Miles Brundage, Shahar Avin, Jasmine Wang et al. · Data Archiving and Networked Services (DANS) · 2020 · 211 citations · Full text

Artificial Intelligence, Engineering, Information Security +19

Adaptive Stress Testing for Autonomous Vehicles

Mark Koren, Saud Alsaif, Ritchie Lee et al. · 2018 · 181 citations

Artificial Intelligence, Engineering, Machine Learning +18

Toward Trustworthy AI Development: Mechanisms for Supporting Verifiable\n Claims

Miles Brundage, Shahar Avin, Jasmine Wang et al. · arXiv (Cornell University) · 2020 · 124 citations · Full text

A Survey of Algorithms for Black-Box Safety Validation of Cyber-Physical Systems

Anthony Corso, Robert J. Moss, Mark Koren et al. · Journal of Artificial Intelligence Research · 2021 · 99 citations · Full text

Engineering, Autonomous Cyber-physical Systems, Verification +21

A Survey of Algorithms for Black-Box Safety Validation.

Anthony Corso, Robert J. Moss, Mark Koren et al. · arXiv (Cornell University) · 2020 · 40 citations · Full text

Artificial Intelligence, Engineering, Verification +19

Rows per page

1–5 of 6