Alessandro Abate

146 papers and 2.1k indexed citations i.

About

Alessandro Abate has authored 146 papers that have received a total of 2.1k indexed citations. This includes 79 papers in Computational Theory and Mathematics, 51 papers in Control and Systems Engineering and 29 papers in Artificial Intelligence. The topics of these papers are Formal Methods in Verification (73 papers), Petri Nets in System Modeling (36 papers) and Advanced Control Systems Optimization (25 papers). Alessandro Abate is often cited by papers focused on Formal Methods in Verification (73 papers), Petri Nets in System Modeling (36 papers) and Advanced Control Systems Optimization (25 papers) and collaborates with scholars based in United Kingdom, The Netherlands and United States. Alessandro Abate's co-authors include Sadegh Soudjani, Claire J. Tomlin, Jianghai Hu, Sofie Haesaert and Majid Zamani and has published in prestigious journals such as Proceedings of the National Academy of Sciences, IEEE Transactions on Automatic Control and Automatica

In The Last Decade

Rankless by CCL
2025