title = {Reachability Analysis of Hybrid Systems with Linear Continuous Dynamics },
author = {Le Guernic, Colas},
year = {2009},
school = {University Joseph Fourier},
team = {TEMPO},
}
bibtex
@phdthesis{Le 09,
title = {Reachability Analysis of Hybrid Systems with Linear Continuous Dynamics },
author = {Le Guernic, Colas},
year = {2009},
school = {University Joseph Fourier},
team = {TEMPO},
}
title = {Reachability Analysis of Hybrid Systems with Linear Continuous Dynamics },
author = {Le Guernic, Colas},
year = {2009},
school = {University Joseph Fourier},
team = {TEMPO},
}
