いちおう論文ではSafety Gameに従って充足性の形式化をしましたが、それをツールで確かめる手段がTICCしか(わるいか)なくて、単なるGameなのにInterface Automataとかを説明した上でTICC用にエンコードした事例を示すわけにもいかないなあ、とおもっていた…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。