2022
Schemes in Lean.
[DOI]
Kevin Buzzard
,
Chris Hughes
,
Kenny Lau
,
Amelia Livingston
,
Ramon Fernández Mir
,
Scott Morrison
Exp. Math., 2022

2006
Stanley: The robot that won the DARPA Grand Challenge.
[DOI]
Sebastian Thrun
,
Michael Montemerlo
,
Hendrik Dahlkamp
,
David Stavens
,
Andrei Aron
,
James Diebel
,
Philip W. Fong
,
John Gale
,
Morgan Halpenny
,
Gabriel Hoffmann
,
Kenny Lau
,
Celia M. Oakley
,
Mark Palatucci
,
Vaughan R. Pratt
,
Pascal Stang
,
Sven Strohband
,
Cedric Dupont
,
Lars-Erik Jendrossek
,
Christian Koelen
,
Charles Markey
,
Carlo Rummel
,
Joe van Niekerk
,
Eric Jensen
,
Philippe Alessandrini
,
Gary R. Bradski
,
Bob Davies
,
Scott Ettinger
,
Adrian Kaehler
,
Ara V. Nefian
,
Pamela Mahoney
J. Field Robotics, 2006