Commits · main · Stéphane Liem Nguyen / Advanced Formal Tools · GitLab

Snippets Groups Projects

Jul 16, 2023
- Add LICENSE · cdefff73
  Stéphane Liem Nguyen authored 1 year ago
  
  cdefff73
Jun 03, 2023
- renamed report, removed draft · ef31b236
  Stéphane Liem Nguyen authored 1 year ago
  
  ef31b236
- added final report · 34d8f384
  Stéphane Liem Nguyen authored 1 year ago
  
  34d8f384
- updated references · e559e466
  Stéphane Liem Nguyen authored 1 year ago
  
  e559e466
- adding more properties in examples · 1add4769
  Stéphane Liem Nguyen authored 1 year ago
  
  1add4769
Jun 02, 2023
- pctl is really an extension of ctl but in the case where the syntax is not... · 08dfe85d
  Stéphane Liem Nguyen authored 1 year ago
  08dfe85d
- separated fixed point computations of some CTL formulas and included definition of pre existential · a64c8015
  Stéphane Liem Nguyen authored 1 year ago
  
  a64c8015
- adding information on state-value functions in MRP and MDPs, optimal policy,... · 96857da0
  Stéphane Liem Nguyen authored 1 year ago
  96857da0
May 29, 2023
- changed structure · e6f39964
  Stéphane Liem Nguyen authored 1 year ago
  
  e6f39964
- renamed report folder to documentation and added final presentation slides · c12e308d
  Stéphane Liem Nguyen authored 1 year ago
  
  c12e308d
- changing report to documentation · db6d9d44
  Stéphane Liem Nguyen authored 1 year ago
  
  db6d9d44
- adding final presentation slides, updated report draft and properties · 9404f68b
  Stéphane Liem Nguyen authored 1 year ago
  
  9404f68b
- Adding link to their website · 7f84993f
  Stéphane Liem Nguyen authored 1 year ago
  
  7f84993f
May 28, 2023
- added authors of PRISM · 2a77a645
  Stéphane Liem Nguyen authored 1 year ago
  
  2a77a645
- copied gif in presentation_4 · 3197732c
  Stéphane Liem Nguyen authored 1 year ago
  
  3197732c
- Cleaning code · a419e1c6
  Stéphane Liem Nguyen authored 1 year ago
  
  a419e1c6
- Trying to reference · 29e49fba
  Stéphane Liem Nguyen authored 1 year ago
  
  29e49fba
- references · 8a096461
  Stéphane Liem Nguyen authored 1 year ago
  
  8a096461
- added version of prism · 21e6565c
  Stéphane Liem Nguyen authored 1 year ago
  
  21e6565c
- fixed typo · fac0b807
  Stéphane Liem Nguyen authored 1 year ago
  
  fac0b807
- Update logbooks/README.md · 917443b8
  Stéphane Liem Nguyen authored 1 year ago
  
  917443b8
- Adding final version of presentation (draft, can be subject to change) · 87c60830
  Stéphane Liem Nguyen authored 1 year ago
  
  87c60830
- added fixed report, fixed graph, fixed drawio · 462182cb
  Stéphane Liem Nguyen authored 1 year ago
  
  462182cb
- fixed code in report · db597849
  Stéphane Liem Nguyen authored 1 year ago
  
  db597849
- Update logbooks/README.md · 432c5c69
  Stéphane Liem Nguyen authored 1 year ago
  
  432c5c69
- updated PRISM model with fixed version from report · 0c674f71
  Stéphane Liem Nguyen authored 1 year ago
  
  0c674f71
- Update README.md · ead16f8c
  Stéphane Liem Nguyen authored 1 year ago
  
  ead16f8c
- Update README.md · 0c3146a9
  Stéphane Liem Nguyen authored 1 year ago
  
  0c3146a9
- fixing page number · 17b38bec
  Stéphane Liem Nguyen authored 1 year ago
  
  17b38bec
- Update README.md · cd97bcc3
  Stéphane Liem Nguyen authored 1 year ago
  
  cd97bcc3
- adding slightly faster gif · 151b312f
  Stéphane Liem Nguyen authored 1 year ago
  
  151b312f
- Update README.md · b071b17c
  Stéphane Liem Nguyen authored 1 year ago
  
  b071b17c
- made a gif for the market dynamics for different v_init · 94687412
  Stéphane Liem Nguyen authored 1 year ago
  
  94687412
May 27, 2023
- draft · 8f025566
  Stéphane Liem Nguyen authored 1 year ago
  
  8f025566
- Update logbooks/README.md · 028121b6
  Stéphane Liem Nguyen authored 1 year ago
  
  028121b6
- Update README.md · 88f5f706
  Stéphane Liem Nguyen authored 1 year ago
  
  88f5f706
- made the example more general · 699a99ed
  Stéphane Liem Nguyen authored 1 year ago
  
  699a99ed
- adding mdp that falls back to MRP when given a random policy · 53e2878b
  Stéphane Liem Nguyen authored 1 year ago
  
  53e2878b
- removed grid · 0eb8c5fd
  Stéphane Liem Nguyen authored 1 year ago
  
  0eb8c5fd
- added white bg images · f8a0abc1
  Stéphane Liem Nguyen authored 1 year ago
  
  f8a0abc1