activity
20142024
most citedAutomata Theory Meets Barrier Certificates: Temporal Logic Verification of Nonlinear Systems

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

collaborators

4 papers