We describe the concept of logical scaffolds, which can be used to improve
the quality of software that relies on AI components. We explain how some of
the existing ideas on runtime monitors for perception systems can be seen as a
specific instance of logical scaffolds. Furthermore, we describe how logical
scaffolds may be useful for improving AI programs beyond perception systems, to
include general prediction systems and agent behavior models.Comment: CAV Workshop on Formal Methods for ML-enabled Autonomous Systems 201

Arechiga, Nikos

DeCastro, Jonathan