Skip to content
View Miracle-qi's full-sized avatar
  • Eindhoven University of Technology
  • Eindhoven

Block or report Miracle-qi

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results

Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes

JavaScript 12,811 44,715 Updated Dec 28, 2024

My Portfolio - Personal Website

HTML 1,169 741 Updated Aug 8, 2024

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

Python 12 1 Updated Oct 17, 2024

Modeling and solutions of stochastic dynamic programming problems

Python 4 1 Updated Aug 24, 2020

List of startups doing AI & ML

246 14 Updated Dec 13, 2024

QMDP-Net implementation

Python 65 19 Updated Jun 17, 2020

On-line POMDP Planning Toolkit

C++ 46 16 Updated May 4, 2023

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

Python 227 51 Updated Oct 28, 2024

Markov Decision Processes, Dynamic Programming and Reinforcement Learning

Python 276 132 Updated Feb 22, 2021
JetBrains MPS 3 Updated Oct 18, 2024

Let us control diffusion models!

Python 31,061 2,787 Updated Feb 25, 2024

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

C 24 8 Updated Nov 1, 2018
C++ 5 1 Updated Dec 13, 2022

UAV Flight Simulator for Reinforcement Learning Research

Python 115 20 Updated Dec 15, 2024
Python 13 1 Updated Apr 4, 2024

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

Python 287 23 Updated Dec 25, 2024

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

HTML 26 6 Updated Nov 4, 2024

A curated paper list on neural symbolic and probabilistic logic.

118 14 Updated Sep 5, 2023

A General-Purpose Trajectory Optimizer for Multicopters

C++ 828 158 Updated Oct 15, 2023
Python 207 23 Updated Sep 3, 2023
Python 51 16 Updated Nov 15, 2024

Educational Python library for manipulator motion planning

Python 247 25 Updated Nov 9, 2024

Toolbox for Robotics Control

Python 62 5 Updated Dec 13, 2024

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

Python 3,105 568 Updated May 15, 2024

Logically-Constrained Reinforcement Learning

Python 54 10 Updated Jul 5, 2024

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

Python 16 5 Updated Nov 23, 2020
Next