tud-amr/ncbf-simultaneous-synthesis-and-verification tud-amr/ncbf-simultaneous-synthesis-and-verification

  • Stars
    star
    6
  • Rank 2,539,965 (Top 51 %)
  • Language
    Python
  • Created 9 months ago
  • Updated 6 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
tud-amr/ncbf-simultaneous-synthesis-and-verification
github

tud-amr

Reviews

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

Repository Details

More Repositories

1

amr-lmpcc

C
111
star
2

mrca-mav

Collision avoidance for mavs in dynamic environments using model predictive control
MATLAB
81
star
3

go-mpc

This repository will contain the code used for the IEEE RA-L + ICRA 2021 publication: "Where to go next: Learning a Subgoal Recommendation Policy for Navigation Among Pedestrians"
Python
61
star
4

fabrics

Optimization fabrics for behavior design
Python
53
star
5

localPlannerBench

Local Planner Bench
Python
49
star
6

mrca_vc

Multi-robot collision avoidance using buffered uncertainty-aware Voronoi cells
MATLAB
37
star
7

m3p2i-aip

Code for the IEEE Robotics and Automation Letters paper titled "Multi-Modal MPPI and Active Inference for Reactive Task and Motion Planning"
Python
32
star
8

social_vrnn

Python
22
star
9

multi-robot-fabrics

Multi-robot local motion planning using dynamic optimization fabrics.
Python
21
star
10

spencer-yolo

C++
16
star
11

mGP_planner

Online informative path planning for active information gathering of a 3d surface
MATLAB
14
star
12

scl

Jupyter Notebook
10
star
13

mobile-manipulator-compliance

C
7
star
14

semantic_dsp_map

C++
7
star
15

int-mpc

6
star
16

mpc_planner

An MPC Motion Planner in ROS/C++
4
star
17

amr_perception

Python
3
star
18

pose_annotation_tool

Python
1
star
19

parl

Predictability-aware reinforcement learning.
Python
1
star
20

AC-LCP

Active Classification of Moving Targets with Learned Control Policies
Python
1
star
21

vicon_util

Utilities to process data from the Vicon system for motion planning
C++
1
star