Commits · master · Luca Geatti / Ksy tool

30 Oct, 2020 1 commit
- Small fix. · 87cc6b93
  Luca Geatti authored Oct 30, 2020
  
  87cc6b93
29 Oct, 2020 3 commits
- Add source of name GR(1) · 9b80bf8d
  Luca Geatti authored Oct 29, 2020
  
  9b80bf8d
- Add useful reference · 08fb782b
  Luca Geatti authored Oct 29, 2020
  
  08fb782b
- Uniform the notation for the figures of our procedure's flow · 3e283c0a
  Luca Geatti authored Oct 29, 2020
  
  3e283c0a
28 Oct, 2020 5 commits
- Add TODOs · 4ddd3b17
  Luca Geatti authored Oct 28, 2020
  
  4ddd3b17
- Add 2020-10-28 meeting notes · 83519698
  Luca Geatti authored Oct 28, 2020
  
  83519698
- Change folder name · e81a6445
  Luca Geatti authored Oct 28, 2020
  
  e81a6445
- Add new docker script for `ebr-ltl-synth` · e1c058b9
  Luca Geatti authored Oct 28, 2020
  
  e1c058b9
- Add details about Degeneralization. · 7e6f5267
  Luca Geatti authored Oct 28, 2020
  
  7e6f5267
27 Oct, 2020 4 commits
- Add Low-Level view. · fd858699
  Luca Geatti authored Oct 27, 2020
  
  fd858699
- Add High-Level view. · a8fdb363
  Luca Geatti authored Oct 27, 2020
  
  a8fdb363
- Add new/faster version of \ltl environment · 01734a44
  Luca Geatti authored Oct 27, 2020
  
  01734a44
- Updated plots scripts · a1b27bc0
  Luca Geatti authored Oct 27, 2020
  
  a1b27bc0
13 Oct, 2020 5 commits
- Fix point with observations during meeting · eb3944e1
  Luca Geatti authored Oct 13, 2020
  
  eb3944e1
- Fix typos found during meeting · 1d5a2eca
  Luca Geatti authored Oct 13, 2020
  
  1d5a2eca
- Add image for 3-fixpoints gr(1) games · e31745b3
  Luca Geatti authored Oct 13, 2020
  
  e31745b3
- Fix notation · 974811fa
  Luca Geatti authored Oct 13, 2020
  
  974811fa
- Update the Recap table. · fe1ff59f
  Luca Geatti authored Oct 13, 2020
  
  fe1ff59f
12 Oct, 2020 2 commits
- Add completeness for Reactivity(1) objectives. · becda87a
  Luca Geatti authored Oct 12, 2020
  
  becda87a
- Complete equirealizability proof for redundancy elimination · c7d0a72c
  Luca Geatti authored Oct 12, 2020
  
  c7d0a72c
11 Oct, 2020 2 commits
- Complete preprocessing for augmented GR(1) games · 8f039d0d
  Luca Geatti authored Oct 11, 2020
  
  8f039d0d
- Add transformation to Normal Form and folder with equivalences. · 6b43152c
  Luca Geatti authored Oct 11, 2020
  
  6b43152c
10 Oct, 2020 1 commit
- Continue GR(1) preamble. · 04b87497
  Luca Geatti authored Oct 10, 2020
  
  04b87497
09 Oct, 2020 1 commit
- Preamble for solving (augmented) GR(1) with LTLEBR · c2d3a0d3
  Luca Geatti authored Oct 09, 2020
  
  c2d3a0d3
02 Oct, 2020 1 commit
- Add a bit of transformations for GR(1) specs · 106bc749
  Luca Geatti authored Oct 02, 2020
  
  106bc749
30 Sep, 2020 1 commit
- Update proof of base Lemma. · 46f5bb4a
  Luca Geatti authored Sep 30, 2020
  
  46f5bb4a
29 Sep, 2020 1 commit
- Add corollaries derived from main Theorem · c4bb5ede
  Luca Geatti authored Sep 29, 2020
  
  c4bb5ede
28 Sep, 2020 1 commit
- Complete formalization of safety reductions · cafbcd47
  Luca Geatti authored Sep 28, 2020
  
  cafbcd47
25 Sep, 2020 3 commits
- Add todo · 2c3ff68a
  Luca Geatti authored Sep 25, 2020
  
  2c3ff68a
- Remove unecessary step in Figure 7 · b35ee61c
  Luca Geatti authored Sep 25, 2020
  
  b35ee61c
- Formalize Table 1 with definitions and theorems · 4153d938
  Luca Geatti authored Sep 25, 2020
  
  4153d938
23 Sep, 2020 1 commit
- Update notes with example of wrong formula level reductions · e385576e
  Luca Geatti authored Sep 23, 2020
  
  e385576e
21 Sep, 2020 2 commits
- Add margin notes. · 71017bc0
  Luca Geatti authored Sep 21, 2020
  
  71017bc0
- Remove legacy section · d3cbdde1
  Luca Geatti authored Sep 21, 2020
  
  d3cbdde1
20 Sep, 2020 1 commit
- Add complete safety reduction for G(a -> F b) specs · 4f7c8e6a
  Luca Geatti authored Sep 20, 2020
  
  4f7c8e6a
19 Sep, 2020 1 commit
- Complete GR(1) overview · 69d743a4
  Luca Geatti authored Sep 19, 2020
  
  69d743a4
14 Sep, 2020 1 commit
- Small changes in plot scripts · cd0594cc
  Luca Geatti authored Sep 14, 2020
  
  cd0594cc
05 Sep, 2020 1 commit
- Add `misc` directory · 0d7d9551
  Luca Geatti authored Sep 05, 2020
  
  0d7d9551
03 Sep, 2020 1 commit
- Add rehearsal considerations in `todo.txt` · 28160e94
  Luca Geatti authored Sep 03, 2020
  
  28160e94
24 Aug, 2020 1 commit
- Add docker tarball · d0014af3
  Luca Geatti authored Aug 24, 2020
  
  d0014af3