Personensuche
X
?
Lecture Notes in Computer Science; Bioinspired Systems for Translational Applications: From Robotics to Social Engineering ,
1
Multicenter Prospective Blind External Validation of a Mach..:
, In:
?
Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control ,
3
An STL-based Approach to Resilient Control for Cyber-Physic..:
, In:
?
Lecture Notes in Computer Science; Formal Modeling and Analysis of Timed Systems ,
7
An STL-Based Formulation of Resilience in Cyber-Physical Sy..:
, In:
?
2021 IEEE Conference on Technologies for Sustainability (SusTech) ,
8