Login / Signup
Aviv Kuvent
Publication Activity (10 Years)
Years Active: 2017-2017
Publications (10 Years): 1
Top Topics
Symbolic Description
Connectionist Learning
Formal Verification
Transition Model
Top Venues
ESEC/SIGSOFT FSE
</>
Publications
</>
Aviv Kuvent
,
Shahar Maoz
,
Jan Oliver Ringert
A symbolic justice violations transition system for unrealizable GR(1) specifications.
ESEC/SIGSOFT FSE
(2017)