Write a Blog >>
ICSE 2021
Mon 17 May - Sat 5 June 2021
Rafi Shalom

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

Using general profile