Enhancing unsatisfiable cores for LTL with information on temporal relevance
From MaRDI portal
Publication:507378
DOI10.1016/j.tcs.2016.01.014zbMath1356.68146arXiv1306.2694MaRDI QIDQ507378
Publication date: 6 February 2017
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1306.2694
Uses Software