angmavrogiannis/Cook2LTL

Stars
9
Rank 1,939,727 (Top 39 %)
Language
Python
License
MIT License
Created over 1 year ago
Updated 10 months ago

angmavrogiannis/Cook2LTL

angmavrogiannis

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Code for the ICRA 2024 Cook2LTL paper on translating free-form cooking recipes to Linear Temporal Logic (LTL) formulae for robot task planning.

B-GAP-Behavior-Guided-Action-Prediction-and-Navigation-for-Autonomous-Driving

This is the code base for our paper "B-GAP: Behavior-Rich Simulation and Navigation for Autonomous Driving", which was published at RA-L and presented at IROS 2022.

Human-Driver-Behavior-Classification-from-Partial-Trajectory-Observation

This is my master thesis work for my MS in Mechanical Engineering at Carnegie Mellon University, advised by Prof. Changliu Liu at the Intelligent Control Lab of The Robotics Institute.

24677-Linear-Control-Systems

Programming implementations of 24-677: Linear Control Systems at Carnegie Mellon University, Fall 2019.

Diploma-Thesis

This is a software tool for Genetic-Algorithm-Based Optimization with customized user-inserted criteria, my diploma thesis at University of Patras, Greece, supervised by Professor Argyris Dentsoras.