Login / Signup
Andreas Lilleskare
Publication Activity (10 Years)
Years Active: 2017-2017
Publications (10 Years): 1
Top Topics
Verification Method
Temporal Logic
Space Exploration
Model Checking
Top Venues
NIK
</>
Publications
</>
Andreas Lilleskare
,
Lars Michael Kristensen
,
Sven-Olai Høyland
CTL Model Checking with the Sweep-line State Space Exploration Method.
NIK
(2017)