Daniel Ponsini

Papers

Total Citations

H-Index

About

Daniel Ponsini is a robotics researcher whose work focuses on the formal modeling and analysis of multi-agent systems, particularly in the domain of autonomous soccer robots. His primary contributions lie in the application of Petri nets—a mathematical modeling language—to enhance the situational awareness and decision-making capabilities of robotic agents. In his most-cited paper, "Analysis of Soccer Robot Behaviors Using Time Petri Nets" (2016, 10 citations), Ponsini demonstrated how timed Petri nets can systematically represent and verify complex robot behaviors, enabling more reliable coordination in dynamic environments. He extended this framework in "Prioritized Situation Awareness for Soccer Robots Using Timed Transition Petri Nets" (2018, 3 citations), introducing priority-based reasoning to help robots assess and react to critical game events in real time. While his citation counts reflect a focused, early-career impact, his work is notable for bridging theoretical computer science with practical robotics, offering a rigorous approach to behavior modeling that improves both transparency and performance in autonomous systems. Ponsini’s research is particularly valuable for students and engineers interested in formal methods for robot control, multi-agent coordination, and the intersection of discrete event systems with artificial intelligence.