Releases med Kochenderfer, Mykel J. (Stanford University)