Search for persons
X
?
2023 American Control Conference (ACC) ,
2
Timing-Aware Resilience of Data-driven Off-policy Reinforce..:
, In:
?
2023 62nd IEEE Conference on Decision and Control (CDC) ,
4
Safe Stochastic Model-Based Policy Iteration with Chance Co..:
, In:
?
2022 20th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE) ,
6
Mechanization of a Large DSML: An Experiment with AADL and ..:
, In:
?
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering; Lecture Notes in Computer Science ,
7
Formalization of the AADL Run-Time Services:
, In:
?
2022 American Control Conference (ACC) ,
8
A Graph-Theoretic Security Index Based on Undetectability f..:
, In:
?
2022 American Control Conference (ACC) ,
10
Impact of Sensor and Actuator Clock Offsets on Reinforcemen..:
, In:
?
Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings ,
12
TwinOps - DevOps meets model-based engineering and digital ..:
, In:
?
Formal Methods Teaching; Lecture Notes in Computer Science ,
14