Towards ILP−based LTLf Passive Learning

Antonio Ielo‚ Mark Law‚ Valeria Fionda‚ Francesco Ricca‚ Giuseppe De Giacomo and Alessandra Russo