Hybrid control synthesis for eventuality specifications using level set methods

From MaRDI portal
Publication:4454760