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

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

collaborators

1 paper

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…