/Football-CPS

Final project for 15-424 Logical Foundations of Cyberphysical Systems

Football-CPS

Final project for 15-424 Logical Foundations of Cyberphysical Systems

Table of Contents

  • LenMegha_QB_Safety: Final submission of deliverables
  • models: Folder for Keymaera X models
  • notes: Folder for Markdowns + PDF's such as notes, proposals, etc
  • proof_contradiction: Contradiction in our proof leading to possible soundness error?
  • sketches: Folder for scribbles used to brainstorm