Registered user since Fri 23 Nov 2018
Name:Jia Lee
Affiliation:POSTECH
Contributions
ASE 2021 | Efficient SMT-Based Model Checking for Signal Temporal Logic Efficient SMT-Based Model Checking for Signal Temporal Logic | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
ASE 2021-profile
View general profile
View general profile