Petros Stefaneas

Papers

Total Citations

H-Index

About

Petros Stefaneas is a leading researcher at the intersection of formal methods, legal compliance, and ethical decision-making in robotics and artificial intelligence. His work focuses on the rigorous formalization of complex systems, ensuring that autonomous technologies operate safely, legally, and ethically. A key contribution is the development of ExosCE, a legal-based computational system that streamlines CE marking compliance for exoskeletons—wearable robots used in medical and industrial settings. This work bridges the gap between engineering design and regulatory frameworks, helping to accelerate the safe deployment of assistive technologies. Stefaneas has also made significant strides in the formalization of ethical decision-making, addressing the novel challenges that arise as automation increases. By applying formal methods to ethics, he provides a structured approach for engineers and policymakers to embed moral reasoning into autonomous systems. His highly cited papers (each with 5 citations) reflect the growing importance of his interdisciplinary approach. Stefaneas’s research is essential reading for anyone working on the responsible development of robotics, AI, and human-robot interaction.