Georgios Bakirtzis

Publications

Article dans une revue (6)

Functional requirements decomposition in set-based design Minghui Sun,Zhaoyang Chen,Georgios Bakirtzis,Hassan Jafarzadeh,Cody Fleming Design Science, 2026, ⟨10.1017/dsj.2026.10053⟩ Article dans une revue hal-05595171v1
On the complexity of sabotage games for network security Dhananjay Raju,Georgios Bakirtzis,Ufuk Topcu IEEE Transactions on Networking, 2025, 34, pp.2897-2910. ⟨10.1109/TON.2025.3628015⟩ Article dans une revue hal-05508268v1
Compositional shield synthesis for safe reinforcement learning in partial observability Steven Carr,Georgios Bakirtzis,Ufuk Topcu IEEE Open Journal of Control Systems, 2025, 4, pp.373 - 384. ⟨10.1109/ojcsys.2025.3611725⟩ Article dans une revue hal-05297997v1
Categorical semantics of compositional reinforcement learning Georgios Bakirtzis,Michail Savvas,Ufuk Topcu Journal of Machine Learning Research, 2025, 26 (130), pp.1-37 Article dans une revue hal-05243595v1
Mission aware cyber‐physical security Georgios Bakirtzis,Bryan Carter,Cody Fleming,Carl Elks Systems Engineering, 2025, 29 (2), pp.355-367. ⟨10.1002/sys.70018⟩ Article dans une revue hal-05410454v1
Correct-by-construction requirement decomposition Minghui Sun,Georgios Bakirtzis,Hassan Jafarzadeh,Cody Fleming Software and Systems Modeling, 2025, pp.1-16. ⟨10.1007/s10270-025-01291-4⟩ Article dans une revue hal-05110632v1

Pré-publication, Document de travail (1)

Breaking exponential complexity in games of ordered preference: A tractable reformulation Dong Ho Lee,Jingqi Li,Lasse Peters,Georgios Bakirtzis,David Fridovich-Keil 2026 Pré-publication, Document de travail hal-05579100v1

Chapitre d'ouvrage (1)

Navigating the sociotechnical labyrinth: Dynamic certification for responsible embodied AI Georgios Bakirtzis,Andrea Aler Tubella,Andreas Theodorou,David Danks,Ufuk Topcu Bi-directionality in Human-AI Collaborative Systems, Academic Press, 2025, 9780443405532. ⟨10.1016/B978-0-44-340553-2.00019-8⟩ Chapitre d'ouvrage hal-05111854v1

Communication dans un congrès (1)

Approximate solutions to games of ordered preference Pau de las Heras Molins,Eric Roy-Almonacid,Dong Ho Lee,Lasse Peters,David Fridovich-Keilet al. IEEE International Conference on Intelligent Transportation Systems (ITSC 2025), Nov 2025, Gold Coast, Australia. ⟨10.1109/ITSC60802.2025.11423775⟩ Communication dans un congrès hal-05565712v1