Nikolaj Jensen Ulrik

Publication Activity (10 Years)

Years Active: 2022-2023
Publications (10 Years): 2

Top Topics

Linear Time Temporal Logic

Salient Features

Top Venues

Publications

Peter Gjøl Jensen, Kim Guldstrand Larsen, Jirí Srba, Nikolaj Jensen Ulrik
Elimination of Detached Regions in Dependency Graph Verification. SPIN (2023)
Peter Gjøl Jensen, Jirí Srba, Nikolaj Jensen Ulrik, Simon Mejlby Virenfeldt
Automata-Driven Partial Order Reduction and Guided Search for LTL Model Checking. VMCAI (2022)