From the 1 of 1 linked paper with an AI index.
1 paper
Emile Hazard, Olivier Idir, Denis Kuperberg
The paper introduces explorable automata, a generalization of history‑deterministic automata that resolves nondeterminism using multiple simultaneous runs, and studies their decisi…