A Monadic Second-Order Temporal Logic framework for hypergraphs

Bikram Pratim Bhuyan, T. P. Singh, Ravi Tomar, Yassine Meraihi, Amar Ramdane-Cherif. A Monadic Second-Order Temporal Logic framework for hypergraphs. Neural Computing and Applications, 36(35):22081-22118, December 2024. [doi]

Abstract

Abstract is missing.