Language:
English
繁體中文
Help
回圖書館首頁
手機版館藏查詢
Login
Jump To :
Overview
Titles
Subjects
Temporal logic.
Overview
Works:
4 works in 0 publications in 0 languages
Titles
Formal Methods Based Motion Planning and Control.
by:
(Electronic resources)
Active Goal Recognition Design.
by:
(Electronic resources)
On Using Formal Methods for Safe and Robust Robot Autonomy.
by:
(Electronic resources)
Designing Trustworthy Autonomous Systems.
by:
(Electronic resources)
Subjects
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.
Processing
...
Change password
Login