Antonio Di Stasio

Papers

Total Citations

H-Index

About

Antonio Di Stasio is a leading researcher in formal methods and temporal logic, whose work focuses on the critical intersection of specification clarity and automated reasoning. His primary research areas include linear temporal logic (LTL), finite-trace semantics, and the detection of semantic errors in formal specifications. Di Stasio’s most notable contribution is his pioneering study, “Misconceptions in Finite-Trace and Infinite-Trace Linear Temporal Logic” (2024), which has already garnered 3 citations. In this work, he systematically catalogs common semantic errors that arise when practitioners misinterpret temporal logic specifications—a problem with profound implications for robot planning, runtime verification, and autonomous systems. By developing a suite of test instruments to identify these misconceptions, Di Stasio provides a vital resource for both students and experienced researchers, helping to bridge the gap between theoretical formalism and practical application. His research is particularly impactful in an era where formal methods are increasingly deployed in safety-critical systems. Through his rigorous analysis and pedagogical contributions, Di Stasio is shaping how the next generation of engineers and computer scientists understand and apply temporal logic, ensuring that specifications are not only mathematically sound but also correctly interpreted in real-world contexts.