Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Yon Shin Teo
conf.researchr.org general profile
FM 2026 profile
Not registered as user
Name:
Yon
Shin Teo
Country:
Singapore
Affiliation:
Aumovio SE
Contributions
2026
FM
Author of Shift-Left Requirements Verification: Integrating LLMs and Formal Methods for Automotive Systems within the Industry Day-track
Share
x
Sun 19 Jul 05:10