Research output per year
Research output per year
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
-
Correct-by-construction requirement decomposition
Sun, M., Bakirtzis, G., Jafarzadeh, H. & Fleming, C., 1 Feb 2026, In: Software and Systems Modeling. 25, 1, p. 271-286 16 p.Research output: Contribution to journal › Article › peer-review
Open Access -
Functional requirements decomposition in set-based design
Sun, M., Chen, Z., Bakirtzis, G., Jafarzadeh, H. & Fleming, C., 17 Apr 2026, In: Design Science. 12, e12.Research output: Contribution to journal › Article › peer-review
Open Access -
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
-
Approximate Solutions to Games of Ordered Preference
De Las Heras Molins, P., Roy-Almonacid, E., Lee, D. H., Peters, L., Fridovich-Keil, D. & Bakirtzis, G., 1 Jan 2025, IEEE Intelligent Transportation Systems Conference, ITSC 2025. Institute of Electrical and Electronics Engineers Inc., p. 3378-3385 8 p. (IEEE Conference on Intelligent Transportation Systems, Proceedings, ITSC).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Open Access1 Citation (Scopus) -
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
1 Citation (Scopus) -
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 Access1 Citation (Scopus) -
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
Open Access -
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 Access2 Citations (Scopus)