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
Robustness Guided Temporal Logic Testing of Stochastic Cyber-Physical Systems
Georgios Fainekos (Inventor)
Arizona State University
Research output
:
Patent
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'Robustness Guided Temporal Logic Testing of Stochastic Cyber-Physical Systems'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Engineering & Materials Science
Temporal logic
100%
Cyber Physical System
95%
Testing
43%
Automatic pilots
30%
Patient monitoring
21%
Control systems
21%
Avionics
18%
Biomedical equipment
18%
Model checking
18%
Missiles
17%
Smart power grids
16%
Automobiles
15%
Process control
15%
Statistical Models
15%
Computer systems
14%
Costs
12%
Robotics
12%
Aircraft
12%
Economics
10%
Uncertainty
10%
Communication
8%