Rafael Rodrigues da Silva, Vince Kurtz, Hai Lin 0002. Automatic Trajectory Synthesis for Real-Time Temporal Logic. IEEE Trans. Automat. Contr., 67(2):780-794, 2022. [doi]
@article{SilvaKL22, title = {Automatic Trajectory Synthesis for Real-Time Temporal Logic}, author = {Rafael Rodrigues da Silva and Vince Kurtz and Hai Lin 0002}, year = {2022}, doi = {10.1109/TAC.2021.3058068}, url = {https://doi.org/10.1109/TAC.2021.3058068}, researchr = {https://researchr.org/publication/SilvaKL22}, cites = {0}, citedby = {0}, journal = {IEEE Trans. Automat. Contr.}, volume = {67}, number = {2}, pages = {780-794}, }