Language: English

Jump To : Overview Titles Subjects

Temporal logic.

Overview

Works:	6 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)

A Type-Safe Hdl Verified in Coq / by: (Electronic resources)

Generic Methods for Mapping Abstract Clinical Guideline Concepts to Raw Data Utilizing Hl7 FHIR = = שיטות למיפוי מושגים קליניים מופשטים אל נתונים גולמיים תוך שימוש בתקן HL7 FHIR / by: (Electronic resources)

Designing Trustworthy Autonomous Systems. by: (Electronic resources)

Subjects

Transitions.

Hypotheses.

Design.

Logic.

Unmanned aerial vehicles.

Design specifications.

Electronic health records.

Probability.

Caregivers.

Cognitive psychology.

Psychology.

Calculus.

Programming languages.

Semantics.

Antibiotics.

Robotics.

Planning.

Children & youth.

Adaptation.

C plus plus.

Interoperability.

Communication.

Electrical engineering.

Temporal logic.

Toddlers.

Intervention.

Algorithms.

Feedback.

Software engineering.

Boolean.

Circuits.

Theorems.

Mathematics.

Glucose.

Mechanical engineering.

Application programming interface.

Codes.

Health care.

Extensible Markup Language.

Information technology.

Simulation.

Case studies.

Probability distribution.

Autonomous vehicles.

Aerospace engineering.

Transportation.

Ontology.

Diarrhea.

Pharmaceutical sciences.

Computer science.

Photographers.

Neural networks.

Cognition & reasoning.

Automobiles.

Engineering.

Syntax.

Clinical medicine.

Information science.

Medicine.

Artificial intelligence.

Robots.

Libraries.

Systems design.

Behavior.

Software.