Merkliste 
 1 Ergebnisse 
 
1

An STL-based Approach to Resilient Control for Cyber-Physic..:

, In: Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control,