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