Commits · 9306ccea0250abca04123a06f7c069585854c147 · chsieh16 / cs598mp-fall2021-proj

Aug 07, 2023
- Functions to label according to invariant · 9306ccea
  chsieh16 authored 1 year ago
  
  9306ccea
- Add generated AAP from EMSOFT approach · 4560f5da
  chsieh16 authored 1 year ago
  
  4560f5da
Jun 15, 2023
- Add experiment result for a range of speed · 373f5edc
  chsieh16 authored 1 year ago
  
  373f5edc
- fixed merge conflict b just keeping the latest copy in repo · 72b54d54
  aastorg2 authored 1 year ago
  
  72b54d54
- changing script to plot trainning · f2a32823
  aastorg2 authored 1 year ago
  
  f2a32823
Apr 14, 2023
- Add result · 93b17818
  chsieh16 authored 1 year ago
  
  93b17818
Apr 13, 2023
- Add result for OOPSLA · e324e757
  chsieh16 authored 1 year ago
  
  e324e757
- Fix file path and nan values · 1613f85f
  chsieh16 authored 1 year ago
  
  1613f85f
- Check files exists · 350492fe
  chsieh16 authored 1 year ago
  
  350492fe
- Rename folders for experiment results · f9f82c45
  chsieh16 authored 1 year ago
  
  f9f82c45
- Add result for oopsla · 0309bd74
  chsieh16 authored 1 year ago
  
  0309bd74
Apr 12, 2023
- Add max time per part · 9f61557a
  chsieh16 authored 1 year ago
  
  9f61557a
Apr 10, 2023
- plotting results · c136661e
  aastorg2 authored 1 year ago
  
  c136661e
- Skip regions with unsafe and nan examples · 89706083
  chsieh16 authored 1 year ago
  
  89706083
- Plot multiple figures · 44dbf06f
  chsieh16 authored 1 year ago
  
  44dbf06f
- Merge branch 'main' of gitlab.engr.illinois.edu:chsieh16/cs598mp-fall2021-proj into main · 6c759723
  chsieh16 authored 1 year ago
  
  6c759723
- Merge plots for regions and car placement arrows · 54ae78ce
  chsieh16 authored 1 year ago
  
  54ae78ce
Apr 09, 2023
- script comparing data in json and training data · 89b73bb4
  aastorg2 authored 1 year ago
  
  89b73bb4
Apr 08, 2023
- Plot safe region and percentage of safe examples · 55a116da
  chsieh16 authored 1 year ago
  
  55a116da
- Specify velocity as a parameter · 76748685
  chsieh16 authored 1 year ago
  
  76748685
Apr 05, 2023
- Fix path to dataset · 4e2b8f07
  chsieh16 authored 1 year ago
  
  4e2b8f07
- Change constant forward velocity to a range · f502cc00
  chsieh16 authored 1 year ago
  
  f502cc00
Mar 02, 2023
- Add experiment result from PLDI2023 submission · 99ba772f
  chsieh16 authored 2 years ago
  
  99ba772f
Feb 07, 2023
- Organize datasets · 02d1f84a
  chsieh16 authored 2 years ago
  
  02d1f84a
Nov 10, 2022
- Add code for computing AAP from EMSOFT22 · 453bcfa2
  chsieh16 authored 2 years ago
  
  453bcfa2
- Plotting and anlayzing gtdc and aap with traces · e746c27b
  chsieh16 authored 2 years ago
  
  e746c27b
Nov 09, 2022
- Fix bug on agbot teacher and config · 0f72c20a
  chsieh16 authored 2 years ago
  
  0f72c20a
- Add memory limit for Gurobi · 25989096
  chsieh16 authored 2 years ago
  
  25989096
- Remove custom simplify for z3 expression · bbed64bb
  chsieh16 authored 2 years ago
  
  bbed64bb
Nov 08, 2022
- Merge branch 'main' of gitlab.engr.illinois.edu:chsieh16/cs598mp-fall2021-proj into main · fd4c628a
  chsieh16 authored 2 years ago
  
  fd4c628a
- Fix print learner time message · 844ce2da
  chsieh16 authored 2 years ago
  
  844ce2da
- removing debug print · c260be78
  aastorg2 authored 2 years ago
  
  c260be78
- Limit number of paths in a candidate for teacher · d7dda4e4
  chsieh16 authored 2 years ago
  
  d7dda4e4
- Print time usage and fix bug for number of paths · cc65a81c
  chsieh16 authored 2 years ago
  
  cc65a81c
Nov 07, 2022
- Tweak gurobi parameters to avoid spurious cexs · dfa15ba6
  chsieh16 authored 2 years ago
  
  dfa15ba6
- More derived features for 4D concat domain · 4db21ddd
  chsieh16 authored 2 years ago
  
  4db21ddd
- Teacher returns SAT even for spurious cexs · 57b78958
  chsieh16 authored 2 years ago
  
  57b78958
- Use teacher for safe states and compute agree rate · 9c484a99
  chsieh16 authored 2 years ago
  
  9c484a99
- Add checks for gte equals to gt · 712586a4
  chsieh16 authored 2 years ago
  
  712586a4
Nov 06, 2022
- Adjust constants and Lyapunov function for provable invariant and stability · 3af33118
  chsieh16 authored 2 years ago
  
  3af33118