@inproceedings { silroshes2020, author = "Silvestre, Daniel and Rosa, Paulo and Hespanha, Joćo and Silvestre, Carlos", title = "Presentation of {"}Analysis for Linear Systems based on Reachability Sets{"}", year = "2020" }