Login / Signup
Gildas Kouko
Publication Activity (10 Years)
Years Active: 2019-2019
Publications (10 Years): 1
Top Topics
State Space
Desirable Properties
Fingerprint Verification
Discrete Random Variables
Top Venues
QEST
</>
Publications
</>
Gildas Kouko
,
Josée Desharnais
,
François Laviolette
Finite Approximation of LMPs for Exact Verification of Reachability Properties.
QEST
(2019)