Stars
moraneus / iPRV-DejaVu
Forked from havelund/dejavuThe DejaVu runtime verification system employs BDDs (Binary Decision Diagrams) to store data from observed events. This enhanced version of DejaVu offers predictions based on isomorphic classes for…
tasosxak / RTdejavu
Forked from havelund/dejavuThe DejaVu runtime verification system, using BDDs for storing data occurring in observed events.
Blame someone else for your bad code.
📘 A curated list of awesome open source or open source licensed documents, guides, books.
This repository contains the code to reproduce the results for the paper: Synthesizing Orchestration Algorithms For FMI 3.0, which appears on ANNSIM 2023.
Maestro a Co-Simulation Orchestration Engine
YAAC: Another Awesome CV is a template using Font Awesome and Adobe Source Font.
Paper Collection for Imitation Learning in RL.
A curated list of awesome imitation learning resources and publications
Clean PyTorch implementations of imitation and reward learning algorithms
Real-time monitoring tool for ROS applications that uses the rtamt library
F1Tenth Simulation Code: Platooning, Computer Vision, Reinforcement Learning, Path Planning
ROS Pure-Pursuit Package for the F1/10 Racecar
Follow the Gap Method for F110 Autonomous Race Car
Autonomous Literature Overview
RRT Star path planning for dynamic obstacle avoidance for the F110 Autonomous Car
A Scala DSL (API) for rule-based programming. Designed for monitoring event streams, such as for example log files. Implements a variation of the RETE algorithm.