Nir Piterman

University of Leicester, University of Gothenburg

Papers

Total Citations

H-Index

About

Nir Piterman is a leading researcher in formal methods, with a focus on the synthesis and verification of high-level control for robotic and multi-agent systems. His work bridges the gap between discrete, logic-based specifications and the continuous, real-time dynamics of physical systems. A major contribution is the development of provably correct control for robots, demonstrating how formal verification can ensure that high-level behaviors—such as those expressed in temporal logic—are correctly executed even when actions have arbitrary durations. His 2013 paper on this topic, with 29 citations, is a cornerstone in the field. Piterman has further advanced the semantics of timing in synthesized robot control, addressing the critical challenge of abstracting continuous execution for reliable discrete implementation. More recently, he has extended these techniques to reconfigurable multi-agent systems, enabling the modelling and verification of dynamic teams of robots that can change their structure. His work is notable for its rigorous theoretical foundations and direct applicability to autonomous systems, making him a key figure in the quest for safe and verifiable AI-driven robotics.