Symbolic Abstractions From Data: A PAC Learning Approach

Alex Devonport, Adnane Saoud, Murat Arcak

Symbolic control techniques aim to satisfy complex logic specifications. A critical step in these techniques is the construction of a symbolic (discrete) abstraction, a finite-stat…