Probabilistic logic – ND Wireless Institute
Skip to content
Rafael Rodrigues da Silva, Vince 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 B. Wu and H. Lin, "Privacy Verification and Enforcement via Belief Abstraction" IEEE Control Systems Letters, vol. 2, no. 4, pp. 815-820, Jun. 2018 Jun. 2018 H. Lin, "Permissive Supervisor Synthesis for Markov Decision Processes through Learning" accepted by IEEE Transactions on Automatic Control, Nov. 2018 Nov. 2018