External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

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]

Authors

Sarat Chandra Varanasi

This author has not been identified. Look up 'Sarat Chandra Varanasi' in Google

Neda Saeedloei

This author has not been identified. Look up 'Neda Saeedloei' in Google

Elmer Salazar

This author has not been identified. Look up 'Elmer Salazar' in Google

Joaquín Arias

This author has not been identified. Look up 'Joaquín Arias' in Google

Gopal Gupta

This author has not been identified. Look up 'Gopal Gupta' in Google
runs on