Pinned Repositories
adaptiveSampling
advSTL
automaticTestingSTL
CarlaStuff
Rare Event Sampling for Safety Verification within the CARLA simulator
clojure-bayes
dl2_lfd
Full Robotic Pipeline Codebase for paper: Elaborating on Learned Demonstrations with Temporal Logic Specifications
drake-exps
Drake Experiments
ltl_diff
Mini-repository to transform Temporal Logic Constraints into a differentiable cost function
ProbRobScene
ProbRobScene: A Probabilistic Specification Language for 3D Robotic Manipulation Environments
SequentialUnawareness
Code Base for the UAI 2020 paper: Learning Factored Markov Decision Processes with Unawareness
craigiedon's Repositories
craigiedon/ProbRobScene
ProbRobScene: A Probabilistic Specification Language for 3D Robotic Manipulation Environments
craigiedon/CarlaStuff
Rare Event Sampling for Safety Verification within the CARLA simulator
craigiedon/ltl_diff
Mini-repository to transform Temporal Logic Constraints into a differentiable cost function
craigiedon/automaticTestingSTL
craigiedon/dl2_lfd
Full Robotic Pipeline Codebase for paper: Elaborating on Learned Demonstrations with Temporal Logic Specifications
craigiedon/drake-exps
Drake Experiments
craigiedon/adaptiveSampling
craigiedon/advSTL
craigiedon/clojure-bayes
craigiedon/SequentialUnawareness
Code Base for the UAI 2020 paper: Learning Factored Markov Decision Processes with Unawareness
craigiedon/CommonRules
STL Rules with CommonRoad Sim
craigiedon/DNPaperRedo
craigiedon/dotFiles
Dotfiles for Editor Customization
craigiedon/drake
Model-based design and verification for robotics.
craigiedon/GradPresentation2014
Presentation for our game Severance Pay
craigiedon/hhc_clone
A clone of Daniel Angelov's Gear Insert Repo
craigiedon/PDDL-Planner
A PDDL Planner
craigiedon/PRSParse
craigiedon/PyTorch-YOLOv3-kitti
use yolov3 pytorch to train kitti
craigiedon/REASIM-Carla
SSS'23 Reasoned Simulation (REASIM) - CARLA Simulations
craigiedon/RobustGAILRoboCollab
craigiedon/tiny-differentiable-simulator
Tiny Differentiable Simulator is a header-only C++ physics library with zero dependencies.
craigiedon/uai2019Unawareness
Technical Supplement for UAI 2019 Submission: "Learning Factored Markov Decision Problems with Unawareness"