Publication Library
Filters
Probabilistic logic Probabilistic logic History Uncertainty Probabilistic logic Model checking
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 |