A Lyapunov-stable, sensor-based model for real-time path-tracking among unknown obstacles. - Antonio Sgorbissa; Alessandro Villa; Andrea Vargiu; Renato Zaccaria (IROS, 2009)

Checking Weak Observable Liveness on Unfoldings Through Asynchronous Games. - Luca Bernardinello; Lucia Pomello; Adrián Puerto Aubel; Alessandro Villa (PNSE@Petri Nets/ACSD, 2018)

Non-isomorphic CNF Generation. - Paolo Fantozzi; Luigi Laura; Umberto Nanni; Alessandro Villa (DCAI (1), 2021)

Houdini (unchained): An Effective Reasoner for Defeasible Logic. - Matteo Cristani; Guido Governatori; Francesco Olivieri; Luca Pasetto; Francesco Tubini; Celeste Veronese; Alessandro Villa; Edoardo Zorzi (AI³@AI*IA, 2022)

The architecture of a reasoning system for Defeasible Deontic Logic. - Matteo Cristani; Guido Governatori; Francesco Olivieri; Luca Pasetto; Francesco Tubini; Celeste Veronese; Alessandro Villa; Edoardo Zorzi (KES, 2023)

Vasari Scoring System in Discerning between Different Degrees of Glioma and IDH Status Prediction: A Possible Machine Learning Application? - Laura Gemini; Mario Tortora; Pasqualina Giordano; Maria Evelina Prudente; Alessandro Villa; Ottavia Vargas; Maria Francesca Giugliano; Francesco Somma; Giulia Marchello; Carmela Chiaramonte; Marcella Gaetano; Federico Frio; et al. (J. Imaging, 2023)