Aniello Murano

Papers

Total Citations

H-Index

About

Aniello Murano is a leading researcher in formal methods, multi-agent systems, and game theory, with a particular focus on the verification and control of autonomous systems operating in uncertain environments. His work bridges the gap between theoretical computer science and practical robotics, addressing how agents—whether software processes or physical robots—can make rational decisions when information is incomplete or asymmetric. Murano’s most cited paper, “Verification of Asynchronous Mobile-Robots in Partially-Known Environments” (2015, 28 citations), introduces novel techniques for ensuring correct behavior in robotic teams that lack full knowledge of their surroundings. He further explores this theme in “Verification of agent navigation in partially-known environments” (2022, 9 citations), advancing methods for reliable path planning. A distinctive contribution is his game-based model for human-robot interaction (2015, 6 citations), where he applies concurrent and turn-based game theory to capture the subtle interplay between human and robot decision-making. His work on “Public and Private Affairs in Strategic Reasoning” (2022) tackles the critical question of what agents know about each other’s strategies—a fundamental issue in both multi-process software and human-robot teams. Murano’s research provides essential tools for building trustworthy autonomous systems.