Fingerprint
Dive into the research topics of 'Temporal logic verification using simulation'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Temporal logic verification using simulation
Georgios E. Fainekos, Antoine Girard, George J. Pappas
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
35
Scopus
citations