Can Large Language Model Aid in Generating Properties for UPPAAL Timed Automata? A Case Study.

Han-Wei Wu, Shin-Jie Lee

Browse the full COMPSAC paper archive.