Marco Antoniotti
New York University, Robotics Research (United States), University of Udine
Papers
4
Total Citations
103
H-Index
3
About
Marco Antoniotti is a researcher whose work spans formal methods, robotics, manufacturing automation, and computational biology. His most influential contribution lies in the synthesis and verification of discrete controllers, where he pioneered the integration of temporal logic with discrete event models to automatically generate locomotion and manufacturing controllers. His landmark 2002 paper on combining discrete event models with temporal logic for supervisory controller synthesis has garnered 72 citations, establishing him as a key voice in bridging theoretical computer science with practical robotics applications. Antoniotti's doctoral dissertation, published in 1996, laid the foundational groundwork for semi-automated control system synthesis using formal methods, drawing connections to the established theory of controlled discrete event systems. His development of the CONTROL-D system demonstrated the real-world applicability of these techniques in manufacturing environments, moving formal verification from theory into industrial practice. Later in his career, Antoniotti extended his expertise into computational biology, exploring algorithmic algebraic model checking as a rigorous framework for analyzing biochemical systems and their reachability properties — reflecting a broader ambition to apply formal verification methods across disciplines. His body of work exemplifies the power of formal reasoning as a unifying tool across engineering and life sciences.
Research Focus
Key Achievements
Top Papers
- 1
- 2
- 3
- 4