Alessandro Pinto

United Technologies Research Center, Jet Propulsion Laboratory

Papers

Total Citations

H-Index

About

Alessandro Pinto’s research lies at the intersection of automated planning, autonomous systems, and cyber-physical system architecture, with a strong emphasis on formal methods and hierarchical control. His most cited work, “Metaphysics of Planning Domain Descriptions” (2016, 16 citations), critically examines how STRIPS-like languages are used to abstract real-world planning problems, revealing that while these abstractions enable faster solutions, they can also introduce hidden complexities that undermine model fidelity. This foundational insight has informed his subsequent contributions to assurance for autonomy, notably through his 2023 retrospective on JPL’s research, which distills lessons from decades of robotic space missions and charts future directions for trustworthy autonomous operations. Pinto has also pioneered approaches to energy-constrained autonomy, as seen in his 2024 paper on learning hierarchical control systems for space robotics, where energy storage and recharge limitations dictate system behavior. His 2025 work on contract embeddings for layered control architectures further advances the formal design of complex cyber-physical systems, offering a rigorous framework for stepwise refinement across multiple abstraction layers. With a career spanning foundational theory to mission-critical applications, Pinto’s research is shaping how autonomous systems are specified, verified, and deployed in high-stakes environments.