Registered user since Tue 23 Apr 2019
Name:Rafi Shalom
Country:Israel
Affiliation:Tel Aviv University, Israel
Research interests:GR(1) Synthesis
Contributions
| ICSE 2021 | Unrealizable Cores for Reactive Systems Specifications: Artifact Unrealizable Cores for Reactive Systems Specifications | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
ICSE 2021-profile
View general profile
View general profile