Logical Specification and Optimal Synthesis of Robust Controllers and Runtime Enforcement Shields

27^th February 2020, 14:00
Paritosh Pandya
Tata Institute of Fundamental Research, Mumbai