Login / Signup
Nir Lavee
ORCID
Publication Activity (10 Years)
Years Active: 2021-2022
Publications (10 Years): 3
Top Topics
Simple Examples
Visual Recognition
Tight Bounds
Recognition Accuracy
Top Venues
CoRR
Innov. Syst. Softw. Eng.
ATVA
</>
Publications
</>
Orna Kupferman
,
Nir Lavee
,
Salomon Sickert
Certifying DFA Bounds for Recognition and Separation.
Innov. Syst. Softw. Eng.
18 (3) (2022)
Orna Kupferman
,
Nir Lavee
,
Salomon Sickert
Certifying DFA Bounds for Recognition and Separation.
CoRR
(2021)
Orna Kupferman
,
Nir Lavee
,
Salomon Sickert
Certifying DFA Bounds for Recognition and Separation.
ATVA
(2021)