Artificial intelligence publications January 1, 2010 Conference PaperBounded Verification of Adaptive Flight Control Systems SRI International January 1, 2010 Share this