Neurosymbolic Integration of Linear Temporal Logic in Non Symbolic Domains

Elena Umili. Neurosymbolic Integration of Linear Temporal Logic in Non Symbolic Domains. In Vadim Malvone, Aniello Murano, editors, Multi-Agent Systems - 20th European Conference, EUMAS 2023, Naples, Italy, September 14-15, 2023, Proceedings. Volume 14282 of Lecture Notes in Computer Science, pages 521-527, Springer, 2023. [doi]

Abstract

Abstract is missing.