Prioritizing Corners in OoD Detectors via Symbolic String Manipulation.

Chih-Hong Cheng Changshun Wu Emmanouil Seferis Saddek Bensalem

Published in: CoRR (2022)

Keyphrases

formal specification
dynamic aspects
corner detection
corner detectors
component based development
data structure
edit distance
object detection
pattern matching
string matching
scale space
symbolic representation
feature points
multi agent
high level
model checking
case study
context free grammars