Pinned Loading

1. TCAVL TCAVL Public

   Translation of a Cognitive Architecture for Verifiable Learning

   Java 1

2. AssistTaxi AssistTaxi Public

   We present AssistTaxi, a robust dataset specifically curated to address the critical need for high-quality data in the field. AssistTaxi is designed to capture real-world scenarios and encompasses …

   1

3. SoarToNuXmvTranslator SoarToNuXmvTranslator Public

   Translation of a cognitive architecture to formal verification environment

   Java

4. uppaal2ros uppaal2ros Public

   Forked from adithya-tp/uppaal2ros

   A translator to accelerate development when going from the formal verification software UPPAAL to the robotics simulation trinity of ROS, Gazebo and ArduPilot.

   C

5. loonwerks/AHMIIAS loonwerks/AHMIIAS Public

   Open repository for the NASA AHMIIAS project

   Java 1 2

6. DigiGarden DigiGarden Public

   🌱 a fast, batteries-included static-site generator that transforms Markdown content into fully functional websites.

   TypeScript