Empreinte digitale
- 1 Profils similaires
Collaborations et principaux domaines de recherche des cinq dernières années
Résultat de recherche
-
Correct-by-construction requirement decomposition
Sun, M., Bakirtzis, G., Jafarzadeh, H. & Fleming, C., 1 févr. 2026, Dans: Software and Systems Modeling. 25, 1, p. 271-286 16 p.Résultats de recherche: Contribution à un journal › Article › Revue par des pairs
-
Mission Aware Cyber-Physical Security
Bakirtzis, G., Carter, B., Fleming, C. H. & Elks, C. R., 1 mars 2026, Dans: Systems Engineering. 29, 2, p. 354-367 14 p.Résultats de recherche: Contribution à un journal › Article › Revue par des pairs
Accès ouvert -
On the Complexity of Sabotage Games for Network Security
Raju, D., Bakirtzis, G. & Topcu, U., 1 janv. 2026, Dans: IEEE Transactions on Networking. 34, p. 2897-2910 14 p.Résultats de recherche: Contribution à un journal › Article › Revue par des pairs
-
Categorical Semantics of Compositional Reinforcement Learning
Bakirtzis, G., Savvas, M. & Topcu, U., 1 janv. 2025, Dans: Journal of Machine Learning Research. 26Résultats de recherche: Contribution à un journal › Article › Revue par des pairs
-
Compositional Shield Synthesis for Safe Reinforcement Learning in Partial Observability
Carr, S., Bakirtzis, G. & Topcu, U., 1 janv. 2025, Dans: IEEE Open Journal of Control Systems. 4, p. 373-384 12 p.Résultats de recherche: Contribution à un journal › Article › Revue par des pairs
Accès ouvert -
Navigating the sociotechnical labyrinth: dynamic certification for responsible embodied AI
Bakirtzis, G., Tubella, A. A., Theodorou, A., Danks, D. & Topcu, U., 1 janv. 2025, Bi-directionality in Human-AI Collaborative Systems. Elsevier, p. 333-348 16 p.Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Chapitre › Revue par des pairs
-
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).Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs
Accès ouvert -
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).Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs
Accès ouvert -
Dynamic Certification for Autonomous Systems
Bakirtzis, G., Carr, S., Danks, D. & Topcu, U., 23 août 2023, Dans: Communications of the ACM. 66, 9, p. 64-72 9 p.Résultats de recherche: Contribution à un journal › Article › Revue par des pairs
Accès ouvert -
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, Dans: Foundations and Trends in Systems and Control. 10, 3-4, p. 180-407 228 p.Résultats de recherche: Contribution à un journal › Article › Revue par des pairs
Accès ouvert