Azizollah Taheri

Papers

Total Citations

H-Index

About

Azizollah Taheri is a distinguished researcher in robotics and autonomous systems, with a primary focus on formal methods for motion planning under uncertainty. His work bridges temporal logic and control synthesis to enable robots to operate safely and effectively in dynamic, unpredictable environments. Taheri’s most notable contribution is the development of robust temporal logic planning under contingency constraints, a framework that allows autonomous systems to not only execute primary tasks but also seamlessly transition to contingency modes in response to unforeseen events. This pioneering approach enhances robot resilience and safety, addressing critical challenges in real-world deployment. His research has garnered attention in the field, with his most-cited paper already accumulating 1 citation in its publication year. Taheri’s work is particularly impactful for applications in autonomous driving, search-and-rescue, and industrial robotics, where adaptability is paramount. By integrating formal verification with practical planning, he advances the state of the art in dependable autonomous decision-making, making his contributions essential reading for students and researchers interested in robust, safety-critical robotics.