Fabio Patrizi

Papers

Total Citations

H-Index

About

Fabio Patrizi is a leading researcher in artificial intelligence, with a primary focus on automated synthesis, formal methods, and the composition of intelligent agent behaviors. His work bridges the gap between theoretical computer science and practical AI, particularly in the domain of service composition and planning under uncertainty. Patrizi’s most influential contribution is his seminal 2013 paper, "Automatic behavior composition synthesis," which has garnered 68 citations. This work introduced a foundational framework for automatically synthesizing complex behaviors from simpler, pre-existing components—a critical challenge in robotics, web services, and multi-agent systems. By formalizing the problem using game theory and automata, he provided a rigorous method for ensuring that synthesized behaviors are both correct and efficient. His 2012 paper on "Automatic Generation and Learning of Finite-State Controllers" (17 citations) further advanced the field by integrating learning techniques with controller synthesis, enabling systems to adapt and improve over time. Patrizi’s research has had a lasting impact on automated planning and formal verification, offering powerful tools for building reliable, autonomous systems. His work continues to inspire new approaches in AI safety and verifiable autonomy.