Login / Signup
Cees Verdier
Publication Activity (10 Years)
Years Active: 2018-2018
Publications (10 Years): 2
Top Topics
File System
Optimal Design
Binary Decision Diagrams
Symbolic Data
Top Venues
ADHS
CoRR
</>
Publications
</>
Ivan S. Zapreev
,
Cees Verdier
,
Manuel Mazo Jr.
Optimal Symbolic Controllers Determinization for BDD storage.
ADHS
(2018)
Ivan S. Zapreev
,
Cees Verdier
,
Manuel Mazo Jr.
Optimal Symbolic Controllers Determinization for BDD storage.
CoRR
(2018)