Benjamin Aminof

Papers

Total Citations

H-Index

About

Benjamin Aminof is a leading researcher in the formal verification of multi-agent and robotic systems, with a particular focus on environments that are only partially known. His work bridges theoretical computer science and robotics, addressing the fundamental challenge of ensuring correct behavior when agents must operate with incomplete information. His most-cited paper, "Verification of Asynchronous Mobile-Robots in Partially-Known Environments" (2015, 28 citations), introduces novel techniques for verifying the correctness of mobile robots that move and sense asynchronously in uncertain spaces. This contribution has been influential in establishing formal methods for autonomous systems. Aminof further advanced this line of inquiry with "Verification of agent navigation in partially-known environments" (2022, 9 citations), extending verification to general agent navigation. His research is notable for its rigorous approach to safety and liveness properties, offering critical tools for the design of reliable autonomous systems. Through these works, Aminof has made a significant impact on the development of trustworthy AI and robotics, providing foundational methods that help ensure these systems can be deployed safely in the real world.