Skip to content
Change the repository type filter

All

    Repositories list

    • Lab files for the course DD2415 - Safe robot planning and control
      Jupyter Notebook
      4200Updated Dec 5, 2025Dec 5, 2025
    • [ECC26] "Exact Smooth Reformulations for Trajectory Optimization Under Signal Temporal Logic Specifications"
      Python
      MIT License
      0800Updated Nov 17, 2025Nov 17, 2025
    • [CDC 25] "Risk-Aware Robot Control in Dynamic Environments using Belief Control Barrier Functions"
      Python
      MIT License
      2900Updated Jul 21, 2025Jul 21, 2025
    • Jupyter Notebook
      MIT License
      0100Updated Jan 15, 2024Jan 15, 2024
    • Python
      0000Updated Sep 19, 2023Sep 19, 2023
    • PureBasic
      MIT License
      0100Updated Jul 18, 2023Jul 18, 2023
    • Python
      MIT License
      0000Updated Jul 4, 2023Jul 4, 2023
    • Jupyter Notebook
      MIT License
      51010Updated Jul 3, 2023Jul 3, 2023
    • Python
      MIT License
      0810Updated Jun 15, 2023Jun 15, 2023
    • Implementation for RSS 2023 publication
      Python
      MIT License
      2100Updated May 15, 2023May 15, 2023
    • Source code for study for RSS 2023 publication
      Rust
      MIT License
      1000Updated May 15, 2023May 15, 2023
    • SpaTiaL

      Public
      SpaTiaL is a framework to specify spatial and temporal relations between objects.
      Python
      MIT License
      11220Updated May 2, 2023May 2, 2023
    • Python
      GNU General Public License v3.0
      0000Updated Mar 29, 2023Mar 29, 2023
    • Code for Large-Scale Scenario Generation for Robotic Manipulation via Conditioned Generative Models
      MIT License
      0110Updated Sep 14, 2022Sep 14, 2022
    • .github

      Public
      0000Updated May 3, 2022May 3, 2022
    • Provides implementation and case studies for the paper "Decentralized Multi-Agent Strategy Synthesis under LTLf Specifications via Exchange of Least-Limiting Ad…
      Python
      MIT License
      0000Updated Sep 21, 2021Sep 21, 2021
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.