Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Kevin Zhou
conf.researchr.org general profile
FM 2026 profile
Not registered as user
Name:
Kevin Zhou
Country:
Japan
Affiliation:
National Institute of Informatics
Contributions
2026
FM
Author of Hybrid Spatiotemporal Logic for Automotive Applications: Modeling and Model-Checking within the Research Track-track
Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
Share
x
Tue 3 Nov 16:21