Symmetric Strategy Improvement
From MaRDI portal
Publication:3449491
DOI10.1007/978-3-662-47666-6_31zbMath1440.91005arXiv1501.06484MaRDI QIDQ3449491
Sven Schewe, Ashutosh Trivedi, Thomas Varghese
Publication date: 4 November 2015
Published in: Automata, Languages, and Programming (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1501.06484
Uses Software