Publication Library
Citation | Research Areas | Publication Date |
---|---|---|
R. Rodrigues da Silva, V. Kurtz, and H. Lin, "Active Perception and Control from Temporal Logic Specifications" IEEE Control Systems Letters, Vol. 3, Issue 4, Pages 1068-1073, Oct. 2019 | Oct. 2019 | |
H. Lin, "Permissive Supervisor Synthesis for Markov Decision Processes through Learning" accepted by IEEE Transactions on Automatic Control, Nov. 2018 | Nov. 2018 |