Details for the publication BansalLTVW23.

Suguman Bansal, Yong Li, Lucas M. Tabajara, Moshe Y. Vardi (), Andrew M. Wells: Model Checking Strategies from Synthesis over Finite Traces. In Automated Technology for Verification and Analysis - 21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023, Proceedings, Part I, volume 14215 of Lecture Notes in Computer Science, pages 227-247, 2023. DOI BIB