-
-
-
C3M Public
Learning Certified Control Using Contraction Metric (CoRL 2020)
-
STLPlanning Public
Path planning from STL (Signal Temporal Logic) specifications
-
-
-
-
-
-
pypoman Public
Forked from stephane-caron/pypomanPython module for polyhedral geometry
Python GNU General Public License v3.0 UpdatedJul 9, 2021 -
HooVer Public
HooVer: a statistical model checking tool with optimistic optimization
-
-
carla Public
Forked from carla-simulator/carlaOpen-source simulator for autonomous driving research.
C++ Other UpdatedFeb 16, 2021 -
Quadrotor_LQR Public
LQR controller for quadrotors
-
kornia Public
Forked from kornia/korniaOpen Source Differentiable Computer Vision Library for PyTorch
Python Apache License 2.0 UpdatedAug 19, 2020 -
DCM Public
Knowledge Transfer via Dense Cross-layer Mutual-distillation (ECCV'2020)
-
-
-
ViconMAVLink Public
Forked from bo-rc/ViconMAVLinkProvide indoor positioning for a fleet of MAVLink autonomous vehicles
C MIT License UpdatedJun 13, 2019 -
teachPress Public
Forked from winkm89/teachPressOfficial repository of teachPress (course and publication management plugin for WordPress)
PHP GNU General Public License v2.0 UpdatedMay 29, 2019 -
CSrankings Public
Forked from emeryberger/CSrankingsA web app for ranking computer science departments according to their research output in selective venues.
Python Other UpdatedDec 8, 2018 -
-
-
-
-
tensorflow Public
Forked from tensorflow/tensorflowComputation using data flow graphs for scalable machine learning
C++ Apache License 2.0 UpdatedMay 9, 2018 -
pytorch Public
Forked from pytorch/pytorchTensors and Dynamic neural networks in Python with strong GPU acceleration
Python Other UpdatedMar 28, 2018 -
-
pointnet Public
Forked from charlesq34/pointnetPointNet: Deep Learning on Point Sets for 3D Classification and Segmentation
Python Other UpdatedSep 8, 2017 -
{{ message }}