LTL Model Checking using Coinductive Answer Set Programming.

Sarat Chandra Varanasi, Neda Saeedloei, Elmer Salazar, Joaqun Arias, Gopal Gupta

Browse the full ICLP paper archive.