"Claris\u00F3, Robert" . . "Cabot, Jordi" . . "PMC" . "PMC7242039" . "Rigorous State-Based Methods" . . "2020-04-22"^^ . . "no-cc" . . . . . "Diverse Scenario Exploration in Model Finders Using Graph Kernels and Clustering" . "10.1007/978-3-030-48077-6_3" . "de4abcc0b6d6aa4f3565b7f5e55710fae2fb03a8" .