Symbolic Pathfinder: Symbolic Execution of Java Bytecode
Corina Pasareanu,
Neha Rungta
Published at: 25th Intnl Conference on Automated Software Engineering
Date: 09/20/10
Improving Lunar Exploration with Robotic Follow-Up
Terry Fong,
Maria Bualat,
Matt Deans,
Essam Heggy,
Mark Helper
Published at: Lunar Exploration Analysis Group Annual Meeting, Washington DC
Date: 09/14/10
Robotic Planetary Drill Tests
Brian Glass,
Sarah Thompson,
Gale Paulsen
Published at: 10th International Symposium on Artificial Intelligence
Date: 08/29/10
Comparison of Sector Capacity Weather Translation Models
Yao Wang,
Shon Grabbe
Published at: TM: 216401
Date: 08/16/10
Solution Concepts that are Distributions Over Profiles Rather Than Sets of Profiles
David Wolpert
Published at: Distributed Control of Systems of Strategic Actors
Date: 08/16/10