Emil G. Henriksen

Publication Activity (10 Years)

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

Top Topics

Computation Tree Logic

Semantic Content

Top Venues

Publications

Emil G. Henriksen, Alan M. Khorsid, Esben Nielsen, Theodor Risager, Jirí Srba, Adam M. Stück, Andreas S. Sørensen
Potency-Based Heuristic Search with Randomness for Explicit Model Checking. SPIN (2023)
Emil G. Henriksen, Alan M. Khorsid, Esben Nielsen, Adam M. Stück, Andreas S. Sørensen, Olivier Pelgrin
SemTex: A Hybrid Approach for Semantic Table Interpretation. SemTab@ISWC (2023)