HIGHLIGHTS
- who: Luyao Niu et al. from the Network Security Lab, Department of Electrical and Computer Engineering, University of Washington, Seattle, WA, USA have published the Article: Robust Satisfaction of Metric Interval Temporal Logic Objectives in Adversarial Environments, in the Journal: Games 2023, 14, 30. of /2023/
- what: In the case of an actuator attack the authors design computational procedures to synthesize controllers that will satisfy the MITL task along with a guarantee of its robustness. To address perturbations originating from different attack surfaces (timing information and system inputs), the authors develop three notions of robustness . . .
If you want to have access to all the content you need to log in!
Thanks :)
If you don't have an account, you can create one here.