Theodor Risager

Publication Activity (10 Years)

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

Top Topics

Search Problems

Temporally Extended Goals

Heuristic Search

Heuristic Function

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)