Skip to content
@HRL-AA-ExACT

HRL AA-ExACT

Assured Autonomy using Expressive Assurance Case Toolkit (AA-ExACT)

Popular repositories Loading

  1. AirSim AirSim Public

    Forked from microsoft/AirSim

    Open source simulator for autonomous vehicles built on Unreal Engine / Unity, from Microsoft AI & Research

    C++

  2. KeYmaeraX-release KeYmaeraX-release Public

    Forked from LS-Lab/KeYmaeraX-release

    KeYmaera X: An aXiomatic Tactical Theorem Prover for Hybrid Systems (release)

    Scala 1

Repositories

Showing 2 of 2 repositories
  • KeYmaeraX-release Public Forked from LS-Lab/KeYmaeraX-release

    KeYmaera X: An aXiomatic Tactical Theorem Prover for Hybrid Systems (release)

    HRL-AA-ExACT/KeYmaeraX-release’s past year of commit activity
    Scala 0 GPL-2.0 39 0 0 Updated Aug 22, 2019
  • AirSim Public Forked from microsoft/AirSim

    Open source simulator for autonomous vehicles built on Unreal Engine / Unity, from Microsoft AI & Research

    HRL-AA-ExACT/AirSim’s past year of commit activity
    C++ 0 4,734 0 0 Updated Aug 21, 2019

Top languages

Loading…

Most used topics

Loading…