Towards a Theory of Learning Inductive Invariants

Yotam M. Y. Feldman. Towards a Theory of Learning Inductive Invariants. PhD thesis, Tel Aviv University, Israel, 2022. [doi]

Abstract

Abstract is missing.