Alexander Bolotov

この論文では、リアクティブシステムにおけるLTL仕様を簡素化する方法を提案しています。