ByNobleID
    Taming the complexity of linear time BDI logics | NobleID