Skip to main navigation
Skip to search
Skip to main content
Arizona State University Home
Home
Profiles
Departments and Centers
Scholarly Works
Activities
Equipment
Grants
Datasets
Prizes
Search by expertise, name or affiliation
Querying Parametric Temporal Logic Properties on Embedded Systems
Georgios Fainekos (Inventor)
Arizona State University
Research output
:
Patent
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'Querying Parametric Temporal Logic Properties on Embedded Systems'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Engineering & Materials Science
Temporal logic
100%
Embedded systems
78%
Cyber Physical System
76%
Systems analysis
25%
Biomedical equipment
18%
Health care
17%
Systems engineering
16%
Automobiles
15%
Parameter estimation
15%
Computer systems
14%
Acoustic waves
13%
Costs
12%
Aircraft
12%
Engineers
11%