Search for persons
X
?
2023 American Control Conference (ACC) ,
1
Risk-Awareness in Learning Neural Controllers for Temporal ..:
, In:
?
2023 62nd IEEE Conference on Decision and Control (CDC) ,
2
Convex Optimization-Based Policy Adaptation to Compensate f..:
, In:
?
2023 62nd IEEE Conference on Decision and Control (CDC) ,
3
Data-Driven Reachability Analysis of Stochastic Dynamical S..:
, In:
?
2023 Formal Methods in Computer-Aided Design (FMCAD) ,
4
Conformance Testing for Stochastic Cyber-Physical Systems:
, In:
?
Proceedings of the ACM/IEEE 14th International Conference on Cyber-Physical Systems (with CPS-IoT Week 2023) ,
6
A Neurosymbolic Approach to the Verification of Temporal Lo..:
, In:
?
2022 IEEE Conference on Control Technology and Applications (CCTA) ,
7
Practical Detectors to Identify Worst-Case Attacks:
, In:
?
2020 American Control Conference (ACC) ,
9
Distributionally Robust Tuning of Anomaly Detectors in Cybe..:
, In:
?
2020 American Control Conference (ACC) ,
10
Gain Design via LMIs to Minimize the Impact of Stealthy Att..:
, In:
?
2019 IEEE 58th Conference on Decision and Control (CDC) ,
11
Filtering Approaches for Dealing with Noise in Anomaly Dete..:
, In:
?
2019 American Control Conference (ACC) ,
12