ARTICLE
|
doi:10.20944/preprints202403.0286.v2
Subject:
Computer Science And Mathematics,
Logic
Keywords:
LTLf; Declare; Verified Artificial Intelligence; Equational logic and rewriting
Online: 11 March 2024 (13:18:45 CET)