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