Verifying Controllers With Vision-Based Perception Using Safe Approximate Abstractions

Chiao Hsieh, Yangge Li, Dawei Sun, Keyur Joshi, Sasa Misailovic, Sayan Mitra

Research output: Contribution to journalArticlepeer-review

Fingerprint

Dive into the research topics of 'Verifying Controllers With Vision-Based Perception Using Safe Approximate Abstractions'. Together they form a unique fingerprint.

Keyphrases

Computer Science