Login / Signup
Woojung Bae
Publication Activity (10 Years)
Years Active: 2024-2024
Publications (10 Years): 1
Top Topics
Timed Automata
Temporal Properties
Symbolic Model Checking
Finite State Machines
Top Venues
Stat. Comput.
</>
Publications
</>
Dongrak Choi
,
Woojung Bae
,
Jun Yan
,
Sangwook Kang
A general model-checking procedure for semiparametric accelerated failure time models.
Stat. Comput.
34 (3) (2024)