Skip to content

@HRL-AA-ExACT HRL AA-ExACT

Change the repository type filter

All

    Repositories list

    2 repositories

    • KeYmaeraX-release

      Public
      KeYmaera X: An aXiomatic Tactical Theorem Prover for Hybrid Systems (release)
      Scala
      •
      GNU General Public License v2.0
      •39•0•0•0•Updated Aug 22, 2019Aug 22, 2019

    • AirSim

      Public
      Open source simulator for autonomous vehicles built on Unreal Engine / Unity, from Microsoft AI & Research
      C++
      •
      Other
      •4.6k•0•0•0•Updated Aug 21, 2019Aug 21, 2019