Ciara Finucane

Papers

Total Citations

171

H-Index

About

Ciara Finucane is a leading researcher in formal methods for robotics, with a particular focus on bridging the gap between natural language and autonomous robot control. Her most influential contribution is the development of the Linear Temporal Logic MissiOn Planning (LTLMoP) toolkit, a pioneering software platform that enables rapid prototyping of high-level robot controllers using structured English and Linear Temporal Logic. This work, published in 2010, has garnered over 170 citations and remains a foundational resource for researchers working on reactive task specification and human-robot interaction. Finucane’s research elegantly combines temporal logic, language processing, and control theory to make complex robotic planning more accessible and verifiable. Her contributions have significantly advanced the field of formal verification in robotics, demonstrating how rigorous mathematical frameworks can be integrated with intuitive, human-readable commands. Through her innovative toolkit and ongoing work, Finucane has established herself as a key figure in the development of safe, explainable, and user-friendly autonomous systems.