Bakirtzis, Georgios
- Dynamic Certification for Autonomous Systems
2022/03/21 by Georgios Bakirtzis, Steven A. Carr, Bakirtzis, Georgios +5 · 2 citations
Computer Science · Engineering · #FOS: Computer and information sciences #FOS: Electrical engineering #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Multiagent Systems (cs.MA) #Robotics (cs.RO) #Safety Systems Engineering in Autonomy #Systems and Control (eess.SY) #electronic engineering #information engineering
- Yoneda Hacking: The Algebra of Attacker Actions
2021/02/26 by Georgios Bakirtzis, Fabrizio Genovese, Bakirtzis, Georgios +4 · 1 voice
Computer Science · Social Sciences · #Information and Cyber Security #Network Security and Intrusion Detection #Cybersecurity and Cyber Warfare Studies
- A Multilevel Cybersecurity and Safety Monitor for Embedded Cyber-Physical Systems
2018/12/08 by Gautham, Smitha, Bakirtzis, Georgios, Leccadito, Matthew T. +2 · 1 citation
#Cryptography and Security (cs.CR) #FOS: Computer and information sciences
- Categorical semantics of compositional reinforcement learning
2022/08/29 by Bakirtzis, Georgios, Savvas, Michail, Topcu, Ufuk · 1 citation
#Artificial Intelligence (cs.AI) #Category Theory (math.CT) #FOS: Computer and information sciences #FOS: Electrical engineering #FOS: Mathematics #Logic in Computer Science (cs.LO) #Systems and Control (eess.SY) #electronic engineering #information engineering
- STPA-driven Multilevel Runtime Monitoring for In-time Hazard Detection
2022/04/19 by Gautham, Smitha, Bakirtzis, Georgios, Will, Alexander +2 · 1 citation
#FOS: Computer and information sciences #FOS: Electrical engineering #Software Engineering (cs.SE) #Systems and Control (eess.SY) #electronic engineering #information engineering