Skip to content

@FocasLab FOCAS Lab

Change the repository type filter

All

    Repositories list

    20 repositories

    • STT-for-Uncertain-Unsafe-Set

      Public
      MATLAB
      •0•0•0•0•Updated May 14, 2026May 14, 2026

    • STT-for-SA-MAS

      Public
      MATLAB
      •0•0•0•0•Updated Apr 11, 2026Apr 11, 2026

    • DifferentialDriveSTT

      Public
      MATLAB
      •0•0•0•0•Updated Mar 27, 2026Mar 27, 2026

    • beyondtheteacher

      Public
      Jupyter Notebook
      •0•0•0•0•Updated Mar 3, 2026Mar 3, 2026

    • ICRA-IL-2026

      Public
      Beyond the Expert: Leveraging Mixed-Skill Demonstrations for Robust Imitation Learning
      Jupyter Notebook
      •0•0•0•0•Updated Feb 23, 2026Feb 23, 2026

    • VCZ

      Public
      C
      •
      BSD 3-Clause "New" or "Revised" License
      •0•0•0•0•Updated Jan 9, 2026Jan 9, 2026

    • Real-Time-Spatiotemporal-Tubes-for-Dynamic-Unsafe-Sets

      Public
      This repository contains the MATLAB implementation of our paper “Real-Time Spatiotemporal Tubes for Dynamic Unsafe Sets”.
      MATLAB
      •0•0•0•0•Updated Dec 24, 2025Dec 24, 2025

    • STL_STT

      Public
      Repository for codes of STL STT oaoer
      Python
      •0•0•0•0•Updated Jun 12, 2025Jun 12, 2025

    • stretch_ros2

      Public
      ROS 2 packages for the Stretch mobile manipulators from Hello Robot Inc.
      Python
      •70•0•0•0•Updated Mar 12, 2025Mar 12, 2025

    • SCOTS

      Public
      0•0•0•0•Updated Mar 13, 2024Mar 13, 2024

    • phasespace-mocap-ros

      Public
      This repository contains the ROS supports for phasespace motion capture system.
      C++
      •2•0•0•0•Updated Jan 30, 2024Jan 30, 2024

    • CP275-Formal-Analysis-and-Control

      Public
      Lab codes for CP275 Formal Analysis and Control Course
      MIT License
      •0•0•0•0•Updated Jan 25, 2024Jan 25, 2024

    • tortoisebot

      Public
      Fork of Tortoisebot Mini robot
      C++
      •2•1•0•0•Updated Jan 25, 2024Jan 25, 2024

    • CP-241-Applied-linear-and-non-linear-control

      Public
      MATLAB
      •
      MIT License
      •0•0•0•0•Updated Nov 29, 2023Nov 29, 2023

    • focaslab_outdoor_robot

      Public
      Contains Documents and ROS Package for Outdoor Mobile Robot
      C++
      •
      MIT License
      •1•0•0•0•Updated Sep 23, 2023Sep 23, 2023

    • Drone_Flight_Controller

      Public
      C++
      •0•0•0•0•Updated Jul 13, 2023Jul 13, 2023

    • focaslab_f1tenth

      Public
      Contains Software and Documentation for F1Tenth Competition
      C++
      •0•1•0•0•Updated Jul 7, 2023Jul 7, 2023

    • Reinforcement-Learning-for-Signal-Temporal-Logic-using-Funnel-Based-Approach

      Public
      Python
      •0•6•0•0•Updated Jun 27, 2023Jun 27, 2023

    • autonomous_exploration

      Public
      C++
      •2•3•0•0•Updated May 30, 2023May 30, 2023

    • Gaussian-Process-Funnel-Controller-Simulation

      Public
      Jupyter Notebook
      •
      MIT License
      •0•1•0•0•Updated Jul 16, 2022Jul 16, 2022
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.