sundw2014/HooVer sundw2014/HooVer

  • Stars
    star
    1
  • Language
    Python
  • License
    University of Ill...
  • Created about 5 years ago
  • Updated over 3 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
sundw2014/HooVer
github

sundw2014

Reviews

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

Repository Details

HooVer: a statistical model checking tool with optimistic optimization

More Repositories

1

DKS

Deeply-supervised Knowledge Synergy (CVPR'2019)
Python
67
star
2

STLPlanning

Path planning from STL (Signal Temporal Logic) specifications
Python
41
star
3

DCM

Knowledge Transfer via Dense Cross-layer Mutual-distillation (ECCV'2020)
Python
30
star
4

C3M

Learning Certified Control Using Contraction Metric (CoRL 2020)
Python
28
star
5

Quadrotor_LQR

LQR controller for quadrotors
Python
20
star
6

NeuReach

Python
7
star
7

u2f_stm32

C
2
star
8

rmbp

C++
2
star
9

reference_management

JavaScript
2
star
10

slam-based-calibration

C++
1
star
11

Learning-Discrepancy

Python
1
star
12

stm32BootLoaderUtils

just for fun
Python
1
star
13

warm_starting

Python
1
star