Falsification via Barrier Certificates

Vishnu Murali, Ashutosh Trivedi, Majid Zamani.

ACC 2024 : 4657-4662

The abstract is not available here yet. Please see the linked publication record.