@inproceedings{GLM06,
title = { Efficient Computation of Reachable Sets of Linear Time-Invariant Systems with Inputs },
author = {Girard, Antoine and Le Guernic, Colas and Maler, Oded},
year = {2006},
booktitle = {HSCC 2006},
pages = {257-271},
publisher = {Springer},
series = {LNCS},
volume = {3927},
team = {TEMPO},
}
