ω-Regular Energy Problems

Sven Dziadek, Uli Fahrenberg, Philipp Schlehuber. ω-Regular Energy Problems. Formal Asp. Comput., 37(1), 2025. [doi]

Abstract

Abstract is missing.