RMLGym: a Formal Reward Machine Framework for Reinforcement Learning. - Hisham Unniyankal; Francesco Belardinelli; Angelo Ferrando 001; Vadim Malvone (WOA, 2023)

Runtime Verification of Program Organization Units in Safe Programmable Logic Controller Systems. - Hisham Unniyankal; Davide Ancona; Angelo Ferrando 001; Fabio Parodi; Alessandro Alessi; Federico Bottino (DSN-S, 2025)