Skip to content
Home
About
Research
People
News
Publications
Events
About
Research
People
News
Publications
Events
Search for:
Search
Search Close
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
Aerospace electronics
History
Model checking
Planning
Probabilistic logic
Task analysis
Uncertainty
Oct. 2019