Two papers accepted at AAAI'26

We are proud that our paper about a good-for-MDP state reduction for stochastic LTL planning has been accepted for oral presentation at AAAI’26. Moreover, also our paper about SL-CBM on enhancing concept bottleneck models with semantic locality for better interpretability has been accepted at AAAI’26.