Georgios Bakirtzis
6
Documents
Publications
Publications
|
|
Categorical semantics of compositional reinforcement learningJournal of Machine Learning Research, 2025, 26 (130), pp.1-37 |
|
|
Mission aware cyber‐physical securitySystems Engineering, 2025, 29 (2), pp.355-367. ⟨10.1002/sys.70018⟩ |
|
|
Compositional shield synthesis for safe reinforcement learning in partial observabilityIEEE Open Journal of Control Systems, 2025, 4, pp.373 - 384. ⟨10.1109/ojcsys.2025.3611725⟩ |
On the complexity of sabotage games for network securityIEEE Transactions on Networking, 2025, 34, pp.2897-2910. ⟨10.1109/TON.2025.3628015⟩ |
|
|
|
Correct-by-construction requirement decompositionSoftware and Systems Modeling, 2025, pp.1-16. ⟨10.1007/s10270-025-01291-4⟩ |
|
|
Navigating the sociotechnical labyrinth: Dynamic certification for responsible embodied AIBi-directionality in Human-AI Collaborative Systems, Academic Press, 2025, 9780443405532. ⟨10.1016/B978-0-44-340553-2.00019-8⟩ |
Chargement...
Chargement...