Pullum, Laura; Cui, Xiaohui; Vassev, Emil; Hinchey, Mike; Rouff, Christopher; Buskens, Richard
(The American Institute of Aeronautics and Astronautics (AIAA), 2012)
Adaptive systems are critical for future space and other unmanned and intelligent
systems. Verification of these systems is also critical for their use in systems with potential
harm to human life or with large financial ...