Login / Signup
James B. Worrell
Publication Activity (10 Years)
Years Active: 2020-2020
Publications (10 Years): 1
Top Topics
Automated Verification
Alternating Time Temporal Logic
Model Checking
Markov Processes
Top Venues
TIME
</>
Publications
</>
Catalin-Andrei Ilie
,
James B. Worrell
Parametric Model Checking Continuous-Time Markov Chains.
TIME
(2020)