Scheduling Control Tasks Using Safety-Guided RL
Lecture Notes in Computer Science
Springer Nature Switzerland
2026
Tutorial: Design Automation for ML-enabled Cyber-Physical Systems: From Verification to Synthesis
Proceedings of the International Conference on Embedded Software
Association for Computing Machinery
2025