Guess and Then Check: Controller Synthesis for Safe and Secure Cyber-Physical Systems.

Rong Gu, Zahra Moezkarimi, Marjan Sirjani

Browse the full FORTE paper archive.