7 papers:
ICFP-2014-Fisher #formal method #using- Using formal methods to enable more secure vehicles: DARPA’s HACMS program (KF), p. 1.
DUXU-NTE-2013-PriorSEBM #challenge- HALO the Winning Entry to the DARPA UAVForge Challenge 2012 (SDP, STS, MAE, MB, WM), pp. 179–188.
CASE-2008-Kress-GazitP #automation #challenge- Automatically synthesizing a planning and control subsystem for the DARPA urban challenge (HKG, GJP), pp. 766–771.
ASE-2006-Thrun #challenge- Winning the DARPA Grand Challenge: A Robot Race through the Mojave Desert (ST), p. 11.
CHI-2004-GozaADS #framework- Telepresence control of the NASA/DARPA robonaut on a mobility platform (SMG, ROA, MAD, IMS), pp. 623–629.
KR-2000-PeaseCLF #information management #knowledge base #performance #representation- Practical Knowledge Representation and the DARPA High Performance Knowledge Bases Project (AP, VKC, FL, AF), pp. 717–724.
- KR-1992-PatilFPMFGN
- The DARPA Knowledge Sharing Effort: A Progress Report (RSP, RF, PFPS, DPM, TWF, TRG, RN), pp. 777–788.
