Login / Signup
Xin Xin
ORCID
Publication Activity (10 Years)
Years Active: 2022-2022
Publications (10 Years): 2
Top Topics
Case Study
Alternating Time Temporal Logic
Model Checking
Failure Prediction
Top Venues
WF-IoT
</>
Publications
</>
Xin Xin
,
Sye Loong Keoh
,
Michele Sevegnani
,
Martin Saerbeck
Run-Time Probabilistic Model Checking for Failure Prediction: A Smart Lift Case Study.
WF-IoT
(2022)
Yong Zhi Lim
,
Xin Xin
,
Teck Ping Khoo
Enhancing UAV Flight Safety through Sensor-based Runtime Risk Assessment.
WF-IoT
(2022)