Mahathi Anand

Fast and Sample Efficient Safety Verification via Extreme Learning Machine

This work aims to formally verify safety properties of discrete-time unknown systems by synthesizing extreme learning machine (ELM)-based barrier certificates by minimizing the Lipschitz constant of the candidate barrier by presenting a grid-based sampling technique to formally verify its validity using the minimum num...