Towards ILP−Based LTLf Passive Learning

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