Periodic Reporting for period 3 - UnCoVerCPS (Unifying Control and Verification of Cyber-Physical Systems)

UnCoVerCPS provides methods for a faster and more efficient development process of safety-critical or operation-critical cyber-physical systems in (partially) unknown environments. Cyber-physical systems are very hard to control and verify because of the mix of discrete...