@article{4026656,
    Author = {Tabuada, Paulo and Pappas, George J.},
    File = {Linear Time Logic Control of Discrete-Time Linear Systems - LTLControl - i.pdf},
    Journal = {IEEE Transactions on Automatic Control},
    Number = {12},
    Pages = {1862-1877},
    Title = {Linear Time Logic Control of Discrete-Time Linear Systems},
    Volume = {51},
    Year = {2006},
    bdsk-url-1 = {https://doi.org/10.1109/TAC.2006.886494},
    date-added = {2021-05-17 19:17:10 +0200},
    date-modified = {2021-05-17 19:17:10 +0200},
    file-2 = {Linear Time Logic Control of Discrete-Time Linear Systemst - ac.2006.886494 - i.pdf},
    doi = {10.1109/TAC.2006.886494}
}

@article{4026656, Author = {Tabuada, Paulo and Pappas, George J.}, File = {Linear Time Logic Control of Discrete-Time Linear Systems - LTLControl - i.pdf}, Journal = {IEEE Transactions on Automatic Control}, Number = {12}, Pages = {1862-1877}, Title = {Linear Time Logic Control of Discrete-Time Linear Systems}, Volume = {51}, Year = {2006}, bdsk-url-1 = {https://doi.org/10.1109/TAC.2006.886494}, date-added = {2021-05-17 19:17:10 +0200}, date-modified = {2021-05-17 19:17:10 +0200}, file-2 = {Linear Time Logic Control of Discrete-Time Linear Systemst - ac.2006.886494 - i.pdf}, doi = {10.1109/TAC.2006.886494} }