Scalable Verification of Strategy Logic through Three-Valued Abstraction - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Francesco Belardinelli, Angelo Ferrando 0001, Wojciech Jamroga, Vadim Malvone, Aniello Murano. Scalable Verification of Strategy Logic through Three-Valued Abstraction. In Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, IJCAI 2023, 19th-25th August 2023, Macao, SAR, China. pages 46-54, ijcai.org, 2023. [doi]

This author has not been identified. Look up 'Francesco Belardinelli' in GoogleThis author has not been identified. Look up 'Angelo Ferrando 0001' in GoogleThis author has not been identified. Look up 'Wojciech Jamroga' in GoogleThis author has not been identified. Look up 'Vadim Malvone' in GoogleThis author has not been identified. Look up 'Aniello Murano' in Google

runs on WebDSL