LTL Model Checking using Coinductive Answer Set Programming

Sarat Chandra Varanasi, Neda Saeedloei, Elmer Salazar, Joaquín Arias, Gopal Gupta. LTL Model Checking using Coinductive Answer Set Programming. In Joaquín Arias, Roberta Calegari, Luke Dickens, Wolfgang Faber 0001, Jorge Fandinno, Gopal Gupta, Markus Hecher, Daniela Inclezan, Emily Leblanc, Michael Morak, Elmer Salazar, Jessica Zangari, editors, Proceedings of the International Conference on Logic Programming 2022 Workshops co-located with the 38th International Conference on Logic Programming (ICLP 2022), Haifa, Israel, July 31st - August 1st, 2022. Volume 3193 of CEUR Workshop Proceedings, CEUR-WS.org, 2022. [doi]

Abstract

Abstract is missing.