Login / Signup
Frédéric Viry
Publication Activity (10 Years)
Years Active: 2018-2018
Publications (10 Years): 2
Top Topics
Definite Clause
Decomposition Algorithm
Input Space
Dimensionality Reduction
Top Venues
HSCC
CoRR
</>
Publications
</>
Sergiy Bogomolov
,
Marcelo Forets
,
Goran Frehse
,
Andreas Podelski
,
Christian Schilling
,
Frédéric Viry
Reach Set Approximation through Decomposition with Low-dimensional Sets and High-dimensional Matrices.
CoRR
(2018)
Sergiy Bogomolov
,
Marcelo Forets
,
Goran Frehse
,
Frédéric Viry
,
Andreas Podelski
,
Christian Schilling
Reach Set Approximation through Decomposition with Low-dimensional Sets and High-dimensional Matrices.
HSCC
(2018)