Fingerprint
Dive into the research topics where Georgios Bakirtzis is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
Mission Aware Cyber-Physical Security
Bakirtzis, G., Carter, B., Fleming, C. H. & Elks, C. R., 1 Mar 2026, In: Systems Engineering. 29, 2, p. 354-367 14 p.Research output: Contribution to journal › Article › peer-review
Open Access -
On the Complexity of Sabotage Games for Network Security
Raju, D., Bakirtzis, G. & Topcu, U., 1 Jan 2026, In: IEEE Transactions on Networking. 34, p. 2897-2910 14 p.Research output: Contribution to journal › Article › peer-review
-
Categorical Semantics of Compositional Reinforcement Learning
Bakirtzis, G., Savvas, M. & Topcu, U., 1 Jan 2025, In: Journal of Machine Learning Research. 26Research output: Contribution to journal › Article › peer-review
-
Compositional Shield Synthesis for Safe Reinforcement Learning in Partial Observability
Carr, S., Bakirtzis, G. & Topcu, U., 1 Jan 2025, In: IEEE Open Journal of Control Systems. 4, p. 373-384 12 p.Research output: Contribution to journal › Article › peer-review
Open Access -
Correct-by-construction requirement decomposition
Sun, M., Bakirtzis, G., Jafarzadeh, H. & Fleming, C., 1 Jan 2025, (Accepted/In press) In: Software and Systems Modeling. 509707.Research output: Contribution to journal › Article › peer-review
Open Access -
Navigating the sociotechnical labyrinth: dynamic certification for responsible embodied AI
Bakirtzis, G., Tubella, A. A., Theodorou, A., Danks, D. & Topcu, U., 1 Jan 2025, Bi-directionality in Human-AI Collaborative Systems. Elsevier, p. 333-348 16 p.Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review
-
Negotiating Control: Neurosymbolic Variable Autonomy
Bakirtzis, G., Chiou, M. & Theodorou, A., 25 Sept 2024, Artificial Intelligence Research and Development - Proceedings of the 26th International Conference of the Catalan Association for Artificial Intelligence. Alsinet, T., Vilasis--Cardona, X., Garcia-Costa, D. & Alvarez-Garcia, E. (eds.). IOS Press BV, p. 178-181 4 p. (Frontiers in Artificial Intelligence and Applications; vol. 390).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Open Access -
Reduce, Reuse, Recycle: Categories for Compositional Reinforcement Learning
Bakirtzis, G., Savvas, M., Zhao, R., Chinchali, S. & Topcu, U., 16 Oct 2024, ECAI 2024 - 27th European Conference on Artificial Intelligence, Including 13th Conference on Prestigious Applications of Intelligent Systems, PAIS 2024, Proceedings. Endriss, U., Melo, F. S., Bach, K., Bugarin-Diz, A., Alonso-Moral, J. M., Barro, S. & Heintz, F. (eds.). IOS Press BV, p. 2653-2660 8 p. (Frontiers in Artificial Intelligence and Applications; vol. 392).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Open Access -
Dynamic Certification for Autonomous Systems
Bakirtzis, G., Carr, S., Danks, D. & Topcu, U., 23 Aug 2023, In: Communications of the ACM. 66, 9, p. 64-72 9 p.Research output: Contribution to journal › Article › peer-review
Open Access -
Formal Methods for Autonomous Systems
Wongpiromsarn, T., Ghasemi, M., Cubuktepe, M., Bakirtzis, G., Carr, S., Karabag, M. O., Neary, C., Gohari, P. & Topcu, U., 21 Sept 2023, In: Foundations and Trends in Systems and Control. 10, 3-4, p. 180-407 228 p.Research output: Contribution to journal › Article › peer-review
Open Access