activity
20162026
most citedUsing Neural Networks to Compute Approximate and Guaranteed Feasible Hamilton-Jacobi-Bellman PDE Solutions

20 citations · 26 across the 8 of their papers we have counts for

collaborators
Showing 2020Show all

1 paper · 1 filter

eess.SY2020★ 4 cited

Temporal Logic Trees for Model Checking and Control Synthesis of Uncertain Discrete-time Systems

Yulong Gao, Alessandro Abate, Frank J. Jiang +3

We propose algorithms for performing model checking and control synthesis for discrete-time uncertain systems under linear temporal logic (LTL) specifications. We construct tempora…