Potency-Based Heuristic Search with Randomness for Explicit Model Checking - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Emil G. Henriksen, Alan M. Khorsid, Esben Nielsen, Theodor Risager, Jirí Srba, Adam M. Stück, Andreas S. Sørensen. Potency-Based Heuristic Search with Randomness for Explicit Model Checking. In Georgiana Caltais, Christian Schilling 0001, editors, Model Checking Software - 29th International Symposium, SPIN 2023, Paris, France, April 26-27, 2023, Proceedings. Volume 13872 of Lecture Notes in Computer Science, pages 180-187, Springer, 2023. [doi]

This author has not been identified. Look up 'Emil G. Henriksen' in GoogleThis author has not been identified. Look up 'Alan M. Khorsid' in GoogleThis author has not been identified. Look up 'Esben Nielsen' in GoogleThis author has not been identified. Look up 'Theodor Risager' in GoogleThis author has not been identified. Look up 'Jirí Srba' in GoogleThis author has not been identified. Look up 'Adam M. Stück' in GoogleThis author has not been identified. Look up 'Andreas S. Sørensen' in Google

runs on WebDSL