SIFT awarded META-X funding under DARPA AVM program

SIFT has been awarded continued funding under DARPA's Adaptive Vehicle Make program to continue our META-X probabilistic verification efforts, leveraging SIFT's prior verification efforts for automated plan analysis.  SIFT will extend our existing probabilistic verification approach, adding importance sampling and culprit identification to our multi-component methods for functional failure analysis.  For more information, please contact the program PI, Mr. Eric Engstrom.