Michaël Adélaïde

Publication Activity (10 Years)

Years Active: 2000-2004
Publications (10 Years): 0

Publications

Michaël Adélaïde, Claire Pagetti
On the Urgency Expressiveness. FSTTCS (2004)
Michaël Adélaïde, Olivier F. Roux
A Class of Decidable Parametric Hybrid Systems. AMAST (2002)
Michaël Adélaïde, Olivier F. Roux
Using Cylindrical Algebraic Decomposition for the Analysis of Slope Parametric Hybrid Automata. FTRTFT (2000)