DOI10.1007/s10703-009-0067-zzbMath1192.68416MaRDI QIDQ1039845
Moshe Y. Vardi, Orna Kupferman, Nir Piterman
Publication date: 23 November 2009 Published in: Formal Methods in System Design (Search for Journal in Brave) Full work available at URL: https://doi.org/10.1007/s10703-009-0067-z
zbMATH Keywords
verification; liveness; temporal logic
Mathematics Subject Classification ID
68Q45: Formal languages and automata
68T27: Logic in artificial intelligence
03B44: Temporal logic