activity
20052019
most citedExponential-Condition-Based Barrier Certificate Generation for Safety Verification of Hybrid Systems

2 citations · 2 across the 1 of their papers we have counts for

collaborators

4 papers