Abstraction Learning with Guarantees: Data-Driven Approaches to Symbolic Control and Verification

Research Repository (Delft University of Technology) 2026 Open access

Read full text
Authors: Rudi Coppola
DOI: 10.4233/uuid:d5fe16ad-231a-4c62-b717-9f09cb9b2a30
Cited by: 0

Fields of Study & Subjects

Formal Methods in Verification Logic programming and type systems Advanced Control Systems Optimization

Publication details

Journal / source
Research Repository (Delft University of Technology)
Publication date
16 January 2026