Ramon Fraga Pereira's repositories
social_laws
This repository contains the software and benchmarks for the paper "Automated Verification of Social Law Robustness in STRIPS" by Erez Karpas, Alexander Shleyfman, and Moshe Tennenholtz, to appear in ICAPS 2017
fs
Main repository for the FS planner
DungeonGenerator
A dungeon generator for Unity
google_pacman
Play Google Pacman
Apprenticeship-Learning
UMich, EECS545 Final Project
jekyll-minimal-theme
jekyll minimal theme (for blog posts with archive and feed)
trapper-lapkt
Trapper Algorithm to find Dead-End Conditional Invariants
AI_Artist
AI Artist for Machine Learning for Hackers #5
asg-meetings
Meeting minutes and discussion papers for group on autonomous systems
L-RPG
Lifted planner that uses Lifted RPG and Lifted CG as a heuristic
CRADLE
CRADLE Published Version
brainhack_reports
briff reports of work completed during a brainhack event
Voronoi
Fortune's Algorithm in Python
downward
PDDL planner for ROS
flappy
flappy bird in html5
skuttande-nyan-cat
Android game where you take control of the beloved Nyan Cat and jump through the night!
gridworld
An 3D enviroment for testing AIs powered by Unity3D
3d_navigation
Global and local path planner plugins for ROS move_base which move the robot in 2D (x,y,angle) but avoid collisions using full 3D data (robot meshes and environment octomap).
Prolog-Planning-Library
Prolog is suitable enviroment for writting planners. However there is no way how to work with PDDL files so far. In this library we provide PDDL parser in Prolog. In addition we present few easy planners based on it.