Larsen, Kim G.

2 publications

IJCAI 2025 What Makes You Special? Contrastive Heuristics Based on Qualified Dominance Rasmus G. Tollund, Kim G. Larsen, Álvaro Torralba

MLJ 2016 Learning Deterministic Probabilistic Automata from a Model Checking Perspective Hua Mao, Yingke Chen, Manfred Jaeger, Thomas D. Nielsen, Kim G. Larsen, Brian Nielsen