Pinned Repositories
tarski
Tarski - An AI Planning Modeling Framework
ALE-Atari-Width
Code for Lipovetzky, Ramirez and Geffner paper presented at IJCAI-15
aptk
Automated Planning Toolkit
clam
CLAM: C++ Library for Audio and Music (unofficial mirror)
exploring-adp
An exploration of various topics and techniques discussed in "Approximate Dynamic Programming" by Warren B. Powell
hybrid-fs
Hybrid-FS: A planner for controlling hybrid systems specified in Functional STRIPS
lwaptk
Lightweight Automated Planning Toolkit
pgpbr
Probabilistic Plan, Goal and Behaviour Recognition
pr-as-planning-demo
Demo for Plan Recognition as Planning over Classical Action Theories
simulpast-cs1
SimulPAST project Case Study #1 Agent Based Simulator
miquelramirez's Repositories
miquelramirez/fs-benchmarks
miquelramirez/patty
A Numeric Planner made with SMT
miquelramirez/swarm_sync_sim
swarm_sync_sim is a synchronized (lock-stepped) numerical simulation platform for multi-robot swarm systems based on ROS. It provides a lightweight (low cpu consumption), scalable (multiple separate nodes) and fast (10x acceleration) engine for simulating various kinds of robots including quadrotors, unmannded ground vehicles (UGV), fixed-wing UAVs
miquelramirez/OpenCombat
Open source close combat inspired game
miquelramirez/book_ros2
miquelramirez/boost_matheval
Evaluate mathematical expressions using Boost.Spirit
miquelramirez/branch_and_cut_for_kinodynamic_motion_planning
Experimental data for the paper "Kinodynamic motion planning via Branch-and-Cut over Roadmaps"
miquelramirez/cadical
CaDiCaL SAT Solver
miquelramirez/CMAutoEditor
miquelramirez/CPP_Optimizations_Diary
Tips and tricks to optimize your C++ code
miquelramirez/downward-benchmarks
miquelramirez/europa
miquelramirez/flecs
A fast entity component system (ECS) for C & C++
miquelramirez/glasgow-subgraph-solver
A solver for subgraph isomorphism problems, based upon a series of papers by subsets of McCreesh, Prosser, and Trimble.
miquelramirez/handson-ml3
A series of Jupyter notebooks that walk you through the fundamentals of Machine Learning and Deep Learning in Python using Scikit-Learn, Keras and TensorFlow 2.
miquelramirez/icaps2024.github.io
Website for ICAPS 2024
miquelramirez/ipc2023-dataset
miquelramirez/libnpy
C++ library for reading and writing of numpy's .npy files
miquelramirez/LiSAT
miquelramirez/Local-Planner-Visualization-Project
An all-in-one application to visualize multiple different local path planning algorithms
miquelramirez/Logical-Zonotope
Alanwar, Jiang, Amin, Johansson work on Logical Zonotopes
miquelramirez/minisat
A minimalistic and high-performance SAT solver
miquelramirez/miquelramirez.github.io
Miquel Ramirez, PhD CS Personal website
miquelramirez/openmct
A web based mission control framework.
miquelramirez/PlanViz
An offline visualization tool for analysing solutions to multi-robot coordination problems.
miquelramirez/qpSWIFT
qpSWIFT is a light-weight sparse quadratic programming solver
miquelramirez/robotarium_python_simulator
A Python simulator for the Robotarium! See your algorithm run on real robots!
miquelramirez/TemporalFastDownward
Temporal Fast Downward
miquelramirez/UAVros
Multi-UAV ROS control simulation and experiment
miquelramirez/unified-planning
The AIPlan4EU Unified Planning Library