Giters
HRL AA-ExACT (HRL-AA-ExACT)

HRL AA-ExACT

HRL-AA-ExACT

Geek Repo

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

Home Page:http://csrs.hrl.com/

Github PK Tool:Github PK Tool

HRL AA-ExACT's repositories

AirSim

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

Language:C++License:NOASSERTIONStargazers:0Issues:0Issues:0

KeYmaeraX-release

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

Language:ScalaLicense:GPL-2.0Stargazers:0Issues:0Issues:0