1. Efficient Realizability Checking by Modularization of LTL Specifications. (3rd September 2021) Authors: Ito, Sohei; Osari, Kenji; Shimakawa, Masaya; Hagihara, Shigeki; Yonezaki, Naoki Journal: Computer journal Issue: Volume 65:Number 10(2022) Page Start: 2801 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗