1552668

biblio

Visible to the public Establishing trust in remotely reprogrammable systems

biblio
biblio

Visible to the public Control Barrier Function Based Quadratic Programs for Safety Critical Systems

biblio

Visible to the public Safety Barrier Certificates for Collisions-Free Multirobot Systems

biblio

Visible to the public Correct-by-construction adaptive cruise control: Two approaches