LTLf 式の最小の不満足コアを列挙する新しい手法

LTLf 式の最小の不満足コアを効率的に列挙する新しい手法を提案する。この手法は、Answer Set Programming (ASP) の最小の不満足部分集合 (MUS) の列挙を利用することで実現される。