Commits · 21d7ec6c8bfb1f5dcbc95d76ab519b1a987ab248 · Thom Badings / Sampling-Based Abstractions

Aug 16, 2022
- bug fix in previous commit · 21d7ec6c
  Thom Badings authored 2 years ago
  
  21d7ec6c
- added one more size to temp.control benchmark · 0b00f323
  Thom Badings authored 2 years ago
  
  0b00f323
- increased epist.uncertainty in temperature control benchmark · 1b74f762
  Thom Badings authored 2 years ago
  
  1b74f762
- updated in temperature control problem · 7f855672
  Thom Badings authored 2 years ago
  
  7f855672
Aug 15, 2022
- fixes in iterative loop · b9b879ad
  Thom Badings authored 2 years ago
  
  b9b879ad
- another bug fix in modeldef oscillator · 5a96f904
  Thom Badings authored 2 years ago
  
  5a96f904
- bug fix in oscillator model · f506f4c3
  Thom Badings authored 2 years ago
  
  f506f4c3
- push synch · aacd9117
  Thom Badings authored 2 years ago
  
  aacd9117
Aug 01, 2022
- synch, oscillator case works · fb1d35c5
  Thom Badings authored 2 years ago
  
  fb1d35c5
Jul 25, 2022
- synch · e0d14cfe
  Thom Badings authored 2 years ago
  
  e0d14cfe
- synch · 8cf47334
  Thom Badings authored 2 years ago
  
  8cf47334
Jul 08, 2022
- Synch · 6ddc128f
  Thom Badings authored 2 years ago
  
  6ddc128f
Jun 28, 2022
- before updating action enabling function · 6ad1cd97
  Thom Badings authored 2 years ago
  
  6ad1cd97
Jun 21, 2022
- synch · 3064acd6
  Thom Badings authored 2 years ago
  
  3064acd6
Jun 20, 2022
- store changes · a7ea7b97
  Thom Badings authored 2 years ago
  
  a7ea7b97
Apr 06, 2022
- update · e0fd253f
  Thom Badings authored 2 years ago
  
  e0fd253f
- UAV test · 42628a5b
  Thom Badings authored 2 years ago
  
  42628a5b
Apr 05, 2022
- removed undesirable assert · f7ea652c
  Thom Badings authored 2 years ago
  
  f7ea652c
- bugfix in probability computation · 70bd73b8
  Thom Badings authored 2 years ago
  
  70bd73b8
- synch2 · 2c17e2d7
  Thom Badings authored 2 years ago
  
  2c17e2d7
- synch · ebccec62
  Thom Badings authored 2 years ago
  
  ebccec62
- synch · 95b9f8f5
  Thom Badings authored 2 years ago
  
  95b9f8f5
- synch · d773551a
  Thom Badings authored 2 years ago
  
  d773551a
- verbose probs · 4aee0c71
  Thom Badings authored 2 years ago
  
  4aee0c71
- uncertainty in B matrix · 5807c625
  Thom Badings authored 2 years ago
  
  5807c625
Apr 04, 2022
- name change of runfile · c58017c2
  Thom Badings authored 2 years ago
  
  c58017c2
- name change `prop` -> `spec`. untracked options.txt · 3f0c429c
  Thom Badings authored 2 years ago
  
  3f0c429c
- separated model from property definition · 730e37c4
  Thom Badings authored 2 years ago
  
  730e37c4
- synch · f5f2cdf9
  Thom Badings authored 2 years ago
  
  f5f2cdf9
Apr 01, 2022
- 2d uav dummy problem · e2b5c303
  Thom Badings authored 2 years ago
  
  e2b5c303
Mar 31, 2022
- Fixing bug in probability computation for goal states · ab20655d
  Thom Badings authored 2 years ago
  
  ab20655d
- changes in 2D planning problem · f3f9e0c3
  Thom Badings authored 2 years ago
  
  f3f9e0c3
Mar 30, 2022
- more fixed in monte carlo · 272cb8e0
  Thom Badings authored 2 years ago
  
  272cb8e0
- bugfix in Monte Carlo · 292c92d8
  Thom Badings authored 2 years ago
  
  292c92d8
- synch · 71b374ee
  Thom Badings authored 2 years ago
  
  71b374ee
Mar 29, 2022
- before inverse computation of control error · 21d2f7c5
  Thom Badings authored 2 years ago
  
  21d2f7c5
Mar 17, 2022
- small changed in models · f022a93c
  Thom Badings authored 2 years ago
  
  f022a93c
- Disable exclude-samples check above a certain number of samples (current limit 400) · 06cf527b
  Thom Badings authored 2 years ago
  
  06cf527b
- improved partition plot · 9de409d9
  Thom Badings authored 2 years ago
  
  9de409d9
Mar 14, 2022
- Synch with server · 7aad01b6
  Thom Badings authored 3 years ago
  
  7aad01b6