Statistics
Publications
2
Citations
65
H-Index
2
Active since
2019
Affiliations
Tel Aviv University(Current)
Rafi Shalom is an author at Tel Aviv University specializing in specification languages, formal verification for synthesis, and verification.
Publications per year
2019–2020
2
2
Symbolic Repairs for GR(1) Specifications
Shahar Maoz, Jan Oliver Ringert, Rafi Shalom · 2019 · 47 citations · Full text
Inherent vacuity for GR(1) specifications
Shahar Maoz, Rafi Shalom · 2020 · 18 citations · Full text
1–2 of 2