Now showing items 1-2 of 2

    • Applying Formal Methods for Integrating Advanced Algorithms in Safety Critical Systems 

      Stafford, Milton (2019-12)
      In software engineering it is essential that updates are deployed for continual improvement. While software updates bring new functionality, updates also may introduce instability. This leads to failures of various kinds. ...
    • Search and Rescue Robot 

      Lermen, Zackary; Bettinger, Eric; Drinks, Dale; Carter, C.; Culp, Tyler; Martinez, Devin; Stafford, Milton
      The FIT/CSRR is a mobile search and rescue vehicle, capable of being wirelessly controlled by human operators, located on the perimeter of a debris field that has been created as the result of some natural or manmade ...