Login / Signup
Georgios Zervakis
ORCID
Publication Activity (10 Years)
Years Active: 2022-2022
Publications (10 Years): 1
Top Topics
Formal Verification
Model Checking
Analogical Reasoning
Top Venues
NLPIR
</>
Publications
</>
Georgios Zervakis
,
Emmanuel Vincent
,
Miguel Couceiro
,
Marc Schoenauer
,
Esteban Marquer
An Analogy based Approach for Solving Target Sense Verification.
NLPIR
(2022)