Login / Signup
Ghiles Ziat
Publication Activity (10 Years)
Years Active: 2018-2022
Publications (10 Years): 5
Top Topics
Formation Control
Uniformly Distributed
Semi Automatic
Constraint Solver
Top Venues
CP
CoRR
FM Workshops (2)
CDC
</>
Publications
</>
Ghiles Ziat
,
Vincent Botbol
,
Matthieu Dien
,
Arnaud Gotlieb
,
Martin Pépin
,
Catherine Dubois
Automatic Synthesis of Random Generators for Numerically Constrained Algebraic Recursive Types.
CoRR
(2022)
Julien Alexandre Dit Sandretto
,
Alexandre Chapoutot
,
Christophe Garion
,
Xavier Thirioux
,
Ghiles Ziat
Constraint-based Verification of Formation Control.
CDC
(2021)
Ghiles Ziat
,
Matthieu Dien
,
Vincent Botbol
Automated Random Testing of Numerical Constrained Types.
CP
(2021)
Ghiles Ziat
,
Alexandre Maréchal
,
Marie Pelleau
,
Antoine Miné
,
Charlotte Truchet
Combination of Boxes and Polyhedra Abstractions for Constraint Solving.
FM Workshops (2)
(2019)
Ghiles Ziat
,
Marie Pelleau
,
Charlotte Truchet
,
Antoine Miné
Finding Solutions by Finding Inconsistencies.
CP
(2018)