AutoLife's repositories
CLF-CBF-QP
Matlab class/functions to simulate a system implementing a control lyapunov-control barrier function quadratic program controller
Language:MATLAB000
000
nnv
Neural Network Verification Software Tool
000
Language:Python000
RobotPathPlanning
Sampling-based Mobile Robot Path Planning Algorithm by Dijkstra, Astar and Dynamic Programming on Undirected Graph
Language:MATLABApache-2.0000
robust-tube-mpc
Robust model predictive control using tube
Language:MATLABMIT000
STLPlanning
Path planning from STL (Signal Temporal Logic) specifications
Language:Python000