Ramon Fraga Pereira's repositories

landmark-based-goal-recognition

:paw_prints: :cyclone: Landmark-Based Approaches for Goal Recognition as Planning.

paladinus

:mechanical_arm: :zap: Paladinus: An Iterative Depth-First Search FOND Planner.

Language:PDDLLicense:GPL-3.0Stargazers:7Issues:5Issues:0

goal-recognition-ltlf_pltlf-fond

:mag_right: :loop: Goal Recognition in FOND Planning Domain Models with LTLf and PLTL Goals.

Language:PDDLStargazers:4Issues:2Issues:0
Language:PDDLLicense:MITStargazers:1Issues:0Issues:0

general-environment-redesign

:repeat: Generalising Environment Redesign.

Language:C++Stargazers:1Issues:1Issues:0

IntentRec4Maps

Intention Recognition in Interactive Maps for Real-World Navigation

Language:Jupyter NotebookStargazers:1Issues:0Issues:0

bfgp-pp

A framework based on Best-First Generalized Planning where solutions are either assembly-like programs, or structured programs that are syntactically terminating.

Language:PDDLLicense:GPL-3.0Stargazers:0Issues:0Issues:0

CSrankings

A web app for ranking computer science departments according to their research output in selective venues, and for finding active faculty across a wide range of areas.

Language:PythonLicense:NOASSERTIONStargazers:0Issues:1Issues:0

falsification_benchmarks

PDDL+ domains translated from models of the ARCH-COMP falsification competition

Language:PDDLStargazers:0Issues:1Issues:0

faster

3D Trajectory Planner in Unknown Environments

Language:C++License:BSD-3-ClauseStargazers:0Issues:0Issues:0

follow_waypoints

Create and follow a set of navigation goals for use with ROS move_base

Language:PythonLicense:UnlicenseStargazers:0Issues:0Issues:0

furniture-bench

FurnitureBench: Real-World Furniture Assembly Benchmark (RSS 2023)

Language:PythonLicense:MITStargazers:0Issues:0Issues:0
License:MITStargazers:0Issues:0Issues:0

jadis

Jadis: An AND/OR Heuristic Search Planner for FOND Planning

Stargazers:0Issues:1Issues:0
Language:PDDLLicense:MITStargazers:0Issues:0Issues:0

LLMs-World-Models-for-Planning

The source code of the paper "Leveraging Pre-trained Large Language Models to Construct and Utilize World Models for Model-based Task Planning".

Stargazers:0Issues:0Issues:0

mbpo

Code for the paper "When to Trust Your Model: Model-Based Policy Optimization"

Language:PythonLicense:MITStargazers:0Issues:0Issues:0
Language:PDDLStargazers:0Issues:0Issues:0
Language:C++Stargazers:0Issues:0Issues:0

optas

OpTaS: An optimization-based task specification library for trajectory optimization and model predictive control.

Language:PythonLicense:NOASSERTIONStargazers:0Issues:0Issues:0
License:GPL-3.0Stargazers:0Issues:0Issues:0

pomdp-py

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

Language:PythonLicense:MITStargazers:0Issues:0Issues:0

pymdp

A Python implementation of active inference for Markov Decision Processes

Language:PythonLicense:MITStargazers:0Issues:0Issues:0

pyRDDLGym

A toolkit for auto-generation of OpenAI Gym environments from RDDL description files.

Language:PythonLicense:NOASSERTIONStargazers:0Issues:1Issues:0

pyrobosim

ROS 2 enabled 2D mobile robot simulator for behavior prototyping

Language:PythonLicense:MITStargazers:0Issues:0Issues:0

racecar_gym

A gym environment for a miniature racecar using the pybullet physics engine.

Language:PythonLicense:MITStargazers:0Issues:0Issues:0
Language:HTMLLicense:MITStargazers:0Issues:0Issues:0

ros_motion_planning

Motion planning and Navigation of AGV/AMR:ROS planner plugin implementation of A*, JPS, D*, LPA*, D* Lite, Theta*, RRT, RRT*, RRT-Connect, Informed RRT*, ACO, PSO, Voronoi, PID, DWA, APF etc.

License:GPL-3.0Stargazers:0Issues:0Issues:0

VXN

Repository of our accepted NeurIPS-2022 paper "Towards Versatile Embodied Navigation"

License:MITStargazers:0Issues:0Issues:0