1 citations · 1 across the 5 of their papers we have counts for
1 paper · 1 filter
Mohit Srinivasan, Samuel Coogan, Magnus Egerstedt
In this paper, a method to synthesize controllers using finite time convergence control barrier functions guided by linear temporal logic specifications for continuous time multi-a…