語系:
繁體中文
English
說明(常見問題)
回圖書館首頁
手機版館藏查詢
登入
跳至 :
概要
書目資訊
主題
Temporal logic.
概要
作品:
4 作品在 0 項出版品 0 種語言
書目資訊
Formal Methods Based Motion Planning and Control.
by:
(書目-電子資源)
Active Goal Recognition Design.
by:
(書目-電子資源)
On Using Formal Methods for Safe and Robust Robot Autonomy.
by:
(書目-電子資源)
Designing Trustworthy Autonomous Systems.
by:
(書目-電子資源)
主題
Transitions.
Hypotheses.
Design.
Logic.
Unmanned aerial vehicles.
Probability.
Caregivers.
Cognitive psychology.
Psychology.
Robotics.
Planning.
Children & youth.
Adaptation.
Electrical engineering.
Temporal logic.
Toddlers.
Intervention.
Algorithms.
Feedback.
Software engineering.
Mechanical engineering.
Simulation.
Case studies.
Probability distribution.
Autonomous vehicles.
Aerospace engineering.
Transportation.
Computer science.
Photographers.
Neural networks.
Cognition & reasoning.
Automobiles.
Engineering.
Artificial intelligence.
Robots.
Libraries.
Systems design.
處理中
...
變更密碼
登入