Commits · f502cc001728505e2352b1f3ac3ef832634428e9 · chsieh16 / cs598mp-fall2021-proj

Apr 05, 2023
- 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
- Remove datasets with unclear distributions · 6df80fd9
  chsieh16 authored 2 years ago
  
  6df80fd9
- Add dataset with uniform distribution for AgBot · c0c94125
  chsieh16 authored 2 years ago
  
  c0c94125
Nov 05, 2022
- Rename dataset for agbot · d288791a
  chsieh16 authored 2 years ago
  
  d288791a
- Add and rename datasets · c95c12c1
  chsieh16 authored 2 years ago
  
  c95c12c1
Nov 04, 2022
- fixing print statements · f6b8603e
  aastorg2 authored 2 years ago
  
  f6b8603e
- removing DEBUG macro · 7a306618
  aastorg2 authored 2 years ago
  
  7a306618
- simplifying z3 formulas further with custom simpifier · df237dba
  aastorg2 authored 2 years ago
  
  df237dba
Nov 03, 2022
- Refactor monitoring script · 5cfc2d21
  chsieh16 authored 2 years ago
  
  5cfc2d21
Nov 02, 2022
- Add barrier teacher and refactor stability teacher · 4604323a
  chsieh16 authored 2 years ago
  
  4604323a
- Use teacher and learner builder consistently · 54b24792
  chsieh16 authored 2 years ago
  
  54b24792
Oct 31, 2022
- Add traces for runtime monitoring on AgBot case · 10facd63
  chsieh16 authored 2 years ago
  
  10facd63
- Convert numpy array to lists and tuples before parallelize · aaf6d14a
  chsieh16 authored 2 years ago
  
  aaf6d14a
- Check safety and use z3 api to (de-)serialize · dc91fffb
  chsieh16 authored 2 years ago
  
  dc91fffb
- Fix dreal tests · b5a9397e
  chsieh16 authored 2 years ago
  
  b5a9397e
- Fix file names and add number of parallel jobs · 277eb3c6
  chsieh16 authored 2 years ago
  
  277eb3c6
- Add monitoring script and traces · 3939aa4a
  chsieh16 authored 2 years ago
  
  3939aa4a
Oct 29, 2022
- adding all four experiments · f6153563
  aastorg2 authored 2 years ago
  
  f6153563
- adding timing infor · 2929f59c
  aastorg2 authored 2 years ago
  
  2929f59c
Oct 28, 2022
- automating saving of commands · bbb97a0c
  aastorg2 authored 2 years ago
  
  bbb97a0c
- adding avgs · 430fb78a
  aastorg2 authored 2 years ago
  
  430fb78a
- Output smtlib for Z3 · 3196fa0b
  chsieh16 authored 2 years ago
  
  3196fa0b