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]
@inproceedings{VaranasiSSAG22,
title = {LTL Model Checking using Coinductive Answer Set Programming},
author = {Sarat Chandra Varanasi and Neda Saeedloei and Elmer Salazar and Joaquín Arias and Gopal Gupta},
year = {2022},
url = {http://ceur-ws.org/Vol-3193/short7GDE.pdf},
researchr = {https://researchr.org/publication/VaranasiSSAG22},
cites = {0},
citedby = {0},
booktitle = {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},
editor = {Joaquín Arias and Roberta Calegari and Luke Dickens and Wolfgang Faber 0001 and Jorge Fandinno and Gopal Gupta and Markus Hecher and Daniela Inclezan and Emily Leblanc and Michael Morak and Elmer Salazar and Jessica Zangari},
volume = {3193},
series = {CEUR Workshop Proceedings},
publisher = {CEUR-WS.org},
}