Towards synthesis of platform-aware attack-resilient control systems: extended abstract.
Miroslav PajicNicola BezzoJames WeimerRajeev AlurRahul MangharamNathan MichaelGeorge J. PappasOleg SokolskyPaulo TabuadaStephanie WeirichInsup LeePublished in: HiCoNS (2013)