Personensuche
X
?
Proceedings of the ACM/IEEE 14th International Conference on Cyber-Physical Systems (with CPS-IoT Week 2023) ,
3
Guiding Federated Learning with Inferenced Formal Logic Pro..:
, In:
?
Runtime Verification; Lecture Notes in Computer Science ,
4
Runtime Monitoring of Accidents in Driving Recordings with ..:
, In:
?
Proceedings of the 8th ACM/IEEE Conference on Internet of Things Design and Implementation ,
7
Fairguard: Harness Logic-based Fairness Rules in Smart Citi..:
, In:
?
2024 6th Asia Energy and Electrical Engineering Symposium (AEEES) ,
15