Songyan Lai -

Registered user since Tue 27 May 2025

Name:Songyan Lai

Country:Ireland

Affiliation:Department of Computer Science, Maynooth University

Personal website: https://songyanlai.github.io/

GitHub: https://github.com/SongyanLai

Contributions

2025

FTfJP

Author of From LTL to MLTL: Exploring translation between temporal logic representations using FRET and WEST within the FTfJP-track