Erez Karpas

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

No description provided.

Github pages site for Erez Karpas

Minima is a one-size-fits-all Jekyll theme for writers.

The AIPlan4EU Unified Planning Library

No description provided.

No description provided.

The Fast Downward domain-independent classical planning system

A lightweight STRIPS planner written in Python.

Compilation based approach to planning with distance goals

This is a python PDDL parser. It is based on pddlpy [https://github.com/hfoffani/pddl-lib]

Tools for RAI maintenance (install & compile testing, docker, code tools)

No description provided.

This is a modified version of baxter_moveit_config, including support for kinect2 and baxter_alvar

This package is used to localize an RGB-D camera looking at Baxter, by using ar_track_alvar and displaying a marker on Baxter's display. It is very preliminary.

No description provided.

AR tag tracking library for ROS

ICAPS 2017 website

This repository contains installation scripts for the robots at the Cognitive Robotics Lab

This repository contains the rosinstall file for the ros-rcll interface

PDDL Domain for RCLL Planning Competition

RCLL to ROS bridge messages

RCLL-related ROS packages (metapackage)

ROSPlan action dispatching for the RCLL Referee Box

Interface between RCLL Planning Competition and ROSPlan

ROS Interface for using Fast Downward without Translating

state "estimator" for RCLL simulation planning competition

Automatically exported from code.google.com/p/rddlsim