STLInspector: STL Validation with Guarantees.

Hendrik Roehm Thomas Heinz Eva Charlotte Mayer

Published in: CAV (1) (2017)

Keyphrases

artificial intelligence
information systems
data structure
search algorithm
pattern recognition
user interface
model validation