Search for persons
X
?
2024 36th Chinese Control and Decision Conference (CCDC) ,
2
Coordinated and optimized dispatch of smart building group-..:
, In:
?
2023 59th Annual Allerton Conference on Communication, Control, and Computing (Allerton) ,
6
Verification and Design of Robust and Safe Neural Network-e..:
, In:
?
Machine Learning and Optimization Techniques for Automotive Cyber-Physical Systems ,
7
Safety-Assured Design and Adaptation of Connected and Auton..:
, In:
?
Runtime Verification; Lecture Notes in Computer Science ,
8
Runtime-Safety-Guided Policy Repair:
, In:
?
Computer Aided Verification; Lecture Notes in Computer Science ,
9