In response to the spread of COVID-19, we will organize an online open house on Zoom to introduce our Honiden- […]
Call for project research student in spring year 2020 is now open. See here. We welcome project research stude […]
A below paper was accepted in ATC2019 Analysis space reduction with state merging for ensuring safety properti […]