Risk­aware control synthesis for temporal logic specification with safety guarantees

The modern defense challenges involve intensive research into cyberphysical systems whose behavior must adhere to complex specifications. This thesis aims to develop controllers that satisfy by construction specifications outlined by signal temporal logic formulas (STL) relying on the notion of the risk while ensuring that hard safety constraints are always satisfied. The controllers should then be tested on the robotics platforms of the U2IS lab.