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.

Localized Attractor Computations for Infinite-State Games

Anne-Kathrin Schmuck, Philippe Heim, Rayna Dimitrova, Satya Prakash Nayak. Localized Attractor Computations for Infinite-State Games. In Arie Gurfinkel, Vijay Ganesh 0001, editors, Computer Aided Verification - 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part III. Volume 14683 of Lecture Notes in Computer Science, pages 135-158, Springer, 2024. [doi]

Authors

Anne-Kathrin Schmuck

This author has not been identified. Look up 'Anne-Kathrin Schmuck' in Google

Philippe Heim

This author has not been identified. Look up 'Philippe Heim' in Google

Rayna Dimitrova

This author has not been identified. Look up 'Rayna Dimitrova' in Google

Satya Prakash Nayak

This author has not been identified. Look up 'Satya Prakash Nayak' in Google
runs on