Robustness Guided Temporal Logic Testing of Stochastic Cyber-Physical Systems

Georgios Fainekos (Inventor)

Research output: Patent

Fingerprint

Dive into the research topics of 'Robustness Guided Temporal Logic Testing of Stochastic Cyber-Physical Systems'. Together they form a unique fingerprint.

Engineering & Materials Science