[RA-L2024/ICRA2025] Official implementation for paper "Diverse Controllable Diffusion Policy with Signal Temporal Logic."

Modeling and solutions of stochastic dynamic programming problems

List of startups doing AI & ML

QMDP-Net implementation

On-line POMDP Planning Toolkit

A framework to build and solve POMDP problems. Documentation: https://h2r.github.io/pomdp-py/

Markov Decision Processes, Dynamic Programming and Reinforcement Learning

Let us control diffusion models!

PyNuSMV is a Python framework for experimenting and prototyping BDD-based model checking algorithms based on NuSMV.

UAV Flight Simulator for Reinforcement Learning Research

[ICCV'23] Hidden Biases of End-to-End Driving Models

https://pretalx.com/juliacon2024/talk/NTQZJJ/

A curated paper list on neural symbolic and probabilistic logic.

A General-Purpose Trajectory Optimizer for Multicopters

Educational Python library for manipulator motion planning

Toolbox for Robotics Control

Imitation learning algorithms with Co-training for Mobile ALOHA: ACT, Diffusion Policy, VINN

Logically-Constrained Reinforcement Learning

Learning algorithm implementation and experiments in the paper "A Composable Specification Language for Reinforcement Learning Tasks" (https://arxiv.org/abs/2008.09293).

Isaac Gym Environments for Legged Robots