{"id":"https://openalex.org/W4380366381","doi":"https://doi.org/10.1007/s42979-023-01817-x","title":"Imprecise Probabilistic Model Checking for Stochastic Multi-agent Systems","display_name":"Imprecise Probabilistic Model Checking for Stochastic Multi-agent Systems","publication_year":2023,"publication_date":"2023-06-12","ids":{"openalex":"https://openalex.org/W4380366381","doi":"https://doi.org/10.1007/s42979-023-01817-x"},"language":"en","primary_location":{"id":"doi:10.1007/s42979-023-01817-x","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s42979-023-01817-x","pdf_url":null,"source":{"id":"https://openalex.org/S4210174798","display_name":"SN Computer Science","issn_l":"2661-8907","issn":["2661-8907","2662-995X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319965","host_organization_name":"Springer Nature","host_organization_lineage":["https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"SN Computer Science","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://doi.org/10.1007/s42979-023-01817-x","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5022657116","display_name":"Alberto Termine","orcid":"https://orcid.org/0000-0001-5993-0948"},"institutions":[{"id":"https://openalex.org/I15196421","display_name":"University of Applied Sciences and Arts of Southern Switzerland","ror":"https://ror.org/05ep8g269","country_code":"CH","type":"education","lineage":["https://openalex.org/I15196421"]},{"id":"https://openalex.org/I189158943","display_name":"University of Milan","ror":"https://ror.org/00wjc7c48","country_code":"IT","type":"education","lineage":["https://openalex.org/I189158943"]},{"id":"https://openalex.org/I2614128279","display_name":"Dalle Molle Institute for Artificial Intelligence Research","ror":"https://ror.org/013355g38","country_code":"CH","type":"facility","lineage":["https://openalex.org/I15196421","https://openalex.org/I2614128279","https://openalex.org/I57201433"]}],"countries":["CH","IT"],"is_corresponding":true,"raw_author_name":"Alberto Termine","raw_affiliation_strings":["Dalle Molle Institute for Artificial Intelligence Research (IDSIA USI-SUPSI), Polo universitario Lugano, Campus Est, Via la Santa, 1, Lugano-Viganello, 6962, Lugano, Ticino, Switzerland","Logic Uncertainty Information and Computation (LUCI) lab, Department of Philosophy \u201cPiero Martinetti\u201d, University of Milan, Via Festa del Perdono, 7, 20122, Milan, Lombardy, Italy","Logic Uncertainty Information and Computation (LUCI) lab, Department of Philosophy \"Piero Martinetti\", University of Milan, Via Festa del Perdono, 7, 20122, Milan, Lombardy, Italy"],"raw_orcid":"https://orcid.org/0000-0001-5993-0948","affiliations":[{"raw_affiliation_string":"Dalle Molle Institute for Artificial Intelligence Research (IDSIA USI-SUPSI), Polo universitario Lugano, Campus Est, Via la Santa, 1, Lugano-Viganello, 6962, Lugano, Ticino, Switzerland","institution_ids":["https://openalex.org/I2614128279","https://openalex.org/I15196421"]},{"raw_affiliation_string":"Logic Uncertainty Information and Computation (LUCI) lab, Department of Philosophy \u201cPiero Martinetti\u201d, University of Milan, Via Festa del Perdono, 7, 20122, Milan, Lombardy, Italy","institution_ids":["https://openalex.org/I189158943"]},{"raw_affiliation_string":"Logic Uncertainty Information and Computation (LUCI) lab, Department of Philosophy \"Piero Martinetti\", University of Milan, Via Festa del Perdono, 7, 20122, Milan, Lombardy, Italy","institution_ids":["https://openalex.org/I189158943"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5051102821","display_name":"Alessandro Antonucci","orcid":"https://orcid.org/0000-0001-7915-2768"},"institutions":[{"id":"https://openalex.org/I15196421","display_name":"University of Applied Sciences and Arts of Southern Switzerland","ror":"https://ror.org/05ep8g269","country_code":"CH","type":"education","lineage":["https://openalex.org/I15196421"]},{"id":"https://openalex.org/I2614128279","display_name":"Dalle Molle Institute for Artificial Intelligence Research","ror":"https://ror.org/013355g38","country_code":"CH","type":"facility","lineage":["https://openalex.org/I15196421","https://openalex.org/I2614128279","https://openalex.org/I57201433"]}],"countries":["CH"],"is_corresponding":false,"raw_author_name":"Alessandro Antonucci","raw_affiliation_strings":["Dalle Molle Institute for Artificial Intelligence Research (IDSIA USI-SUPSI), Polo universitario Lugano, Campus Est, Via la Santa, 1, Lugano-Viganello, 6962, Lugano, Ticino, Switzerland"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Dalle Molle Institute for Artificial Intelligence Research (IDSIA USI-SUPSI), Polo universitario Lugano, Campus Est, Via la Santa, 1, Lugano-Viganello, 6962, Lugano, Ticino, Switzerland","institution_ids":["https://openalex.org/I2614128279","https://openalex.org/I15196421"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5077895764","display_name":"Giuseppe Primiero","orcid":"https://orcid.org/0000-0003-3264-7100"},"institutions":[{"id":"https://openalex.org/I189158943","display_name":"University of Milan","ror":"https://ror.org/00wjc7c48","country_code":"IT","type":"education","lineage":["https://openalex.org/I189158943"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Giuseppe Primiero","raw_affiliation_strings":["Logic Uncertainty Information and Computation (LUCI) lab, Department of Philosophy \u201cPiero Martinetti\u201d, University of Milan, Via Festa del Perdono, 7, 20122, Milan, Lombardy, Italy","Logic Uncertainty Information and Computation (LUCI) lab, Department of Philosophy \"Piero Martinetti\", University of Milan, Via Festa del Perdono, 7, 20122, Milan, Lombardy, Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Logic Uncertainty Information and Computation (LUCI) lab, Department of Philosophy \u201cPiero Martinetti\u201d, University of Milan, Via Festa del Perdono, 7, 20122, Milan, Lombardy, Italy","institution_ids":["https://openalex.org/I189158943"]},{"raw_affiliation_string":"Logic Uncertainty Information and Computation (LUCI) lab, Department of Philosophy \"Piero Martinetti\", University of Milan, Via Festa del Perdono, 7, 20122, Milan, Lombardy, Italy","institution_ids":["https://openalex.org/I189158943"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5034206752","display_name":"Alessandro Facchini","orcid":"https://orcid.org/0000-0001-7507-116X"},"institutions":[{"id":"https://openalex.org/I15196421","display_name":"University of Applied Sciences and Arts of Southern Switzerland","ror":"https://ror.org/05ep8g269","country_code":"CH","type":"education","lineage":["https://openalex.org/I15196421"]},{"id":"https://openalex.org/I2614128279","display_name":"Dalle Molle Institute for Artificial Intelligence Research","ror":"https://ror.org/013355g38","country_code":"CH","type":"facility","lineage":["https://openalex.org/I15196421","https://openalex.org/I2614128279","https://openalex.org/I57201433"]}],"countries":["CH"],"is_corresponding":false,"raw_author_name":"Alessandro Facchini","raw_affiliation_strings":["Dalle Molle Institute for Artificial Intelligence Research (IDSIA USI-SUPSI), Polo universitario Lugano, Campus Est, Via la Santa, 1, Lugano-Viganello, 6962, Lugano, Ticino, Switzerland"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Dalle Molle Institute for Artificial Intelligence Research (IDSIA USI-SUPSI), Polo universitario Lugano, Campus Est, Via la Santa, 1, Lugano-Viganello, 6962, Lugano, Ticino, Switzerland","institution_ids":["https://openalex.org/I2614128279","https://openalex.org/I15196421"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5022657116"],"corresponding_institution_ids":["https://openalex.org/I15196421","https://openalex.org/I189158943","https://openalex.org/I2614128279"],"apc_list":{"value":2290,"currency":"EUR","value_usd":2890},"apc_paid":{"value":2290,"currency":"EUR","value_usd":2890},"fwci":0.7435,"has_fulltext":true,"cited_by_count":4,"citation_normalized_percentile":{"value":0.74600479,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":95,"max":98},"biblio":{"volume":"4","issue":"5","first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11303","display_name":"Bayesian Modeling and Causal Inference","score":0.9979000091552734,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9962999820709229,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/probabilistic-logic","display_name":"Probabilistic logic","score":0.742263913154602},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6895045042037964},{"id":"https://openalex.org/keywords/formalism","display_name":"Formalism (music)","score":0.5225690603256226},{"id":"https://openalex.org/keywords/markov-chain","display_name":"Markov chain","score":0.5197693705558777},{"id":"https://openalex.org/keywords/probabilistic-relevance-model","display_name":"Probabilistic relevance model","score":0.4669918119907379},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.4580267071723938},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4459790885448456},{"id":"https://openalex.org/keywords/class","display_name":"Class (philosophy)","score":0.43939775228500366},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.37282490730285645},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3412902355194092},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.3132617771625519},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.2809358835220337},{"id":"https://openalex.org/keywords/probabilistic-analysis-of-algorithms","display_name":"Probabilistic analysis of algorithms","score":0.25565803050994873},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.25070419907569885}],"concepts":[{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.742263913154602},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6895045042037964},{"id":"https://openalex.org/C73301696","wikidata":"https://www.wikidata.org/wiki/Q5469984","display_name":"Formalism (music)","level":3,"score":0.5225690603256226},{"id":"https://openalex.org/C98763669","wikidata":"https://www.wikidata.org/wiki/Q176645","display_name":"Markov chain","level":2,"score":0.5197693705558777},{"id":"https://openalex.org/C143017306","wikidata":"https://www.wikidata.org/wiki/Q3318133","display_name":"Probabilistic relevance model","level":4,"score":0.4669918119907379},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.4580267071723938},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4459790885448456},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.43939775228500366},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.37282490730285645},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3412902355194092},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3132617771625519},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.2809358835220337},{"id":"https://openalex.org/C24404364","wikidata":"https://www.wikidata.org/wiki/Q7246846","display_name":"Probabilistic analysis of algorithms","level":3,"score":0.25565803050994873},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.25070419907569885},{"id":"https://openalex.org/C142362112","wikidata":"https://www.wikidata.org/wiki/Q735","display_name":"Art","level":0,"score":0.0},{"id":"https://openalex.org/C153349607","wikidata":"https://www.wikidata.org/wiki/Q36649","display_name":"Visual arts","level":1,"score":0.0},{"id":"https://openalex.org/C558565934","wikidata":"https://www.wikidata.org/wiki/Q2743","display_name":"Musical","level":2,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1007/s42979-023-01817-x","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s42979-023-01817-x","pdf_url":null,"source":{"id":"https://openalex.org/S4210174798","display_name":"SN Computer Science","issn_l":"2661-8907","issn":["2661-8907","2662-995X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319965","host_organization_name":"Springer Nature","host_organization_lineage":["https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"SN Computer Science","raw_type":"journal-article"},{"id":"pmh:oai:air.unimi.it:2434/1142140","is_oa":true,"landing_page_url":"https://link.springer.com/article/10.1007/s42979-023-01817-x","pdf_url":"https://link.springer.com/content/pdf/10.1007/s42979-023-01817-x.pdf","source":{"id":"https://openalex.org/S4306400516","display_name":"Archivio Istituzionale della Ricerca (Universita Degli Studi Di Milano)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I189158943","host_organization_name":"University of Milan","host_organization_lineage":["https://openalex.org/I189158943"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":{"id":"doi:10.1007/s42979-023-01817-x","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s42979-023-01817-x","pdf_url":null,"source":{"id":"https://openalex.org/S4210174798","display_name":"SN Computer Science","issn_l":"2661-8907","issn":["2661-8907","2662-995X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319965","host_organization_name":"Springer Nature","host_organization_lineage":["https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"SN Computer Science","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":38,"referenced_works":["https://openalex.org/W183719528","https://openalex.org/W198918365","https://openalex.org/W806899496","https://openalex.org/W1498432697","https://openalex.org/W1546215693","https://openalex.org/W1588253469","https://openalex.org/W1590277927","https://openalex.org/W1600717164","https://openalex.org/W1975206588","https://openalex.org/W1983387392","https://openalex.org/W1997265316","https://openalex.org/W2005998857","https://openalex.org/W2020064362","https://openalex.org/W2020273103","https://openalex.org/W2024664992","https://openalex.org/W2101097136","https://openalex.org/W2111098199","https://openalex.org/W2134922236","https://openalex.org/W2161368821","https://openalex.org/W2307963966","https://openalex.org/W2340451184","https://openalex.org/W2521339491","https://openalex.org/W2550431203","https://openalex.org/W2795657119","https://openalex.org/W2944963859","https://openalex.org/W2946122523","https://openalex.org/W2949858156","https://openalex.org/W2973300812","https://openalex.org/W2995644129","https://openalex.org/W3102934921","https://openalex.org/W3186505320","https://openalex.org/W3195444073","https://openalex.org/W4210427261","https://openalex.org/W4237930477","https://openalex.org/W4245838877","https://openalex.org/W6629544714","https://openalex.org/W6629784141","https://openalex.org/W6677916085"],"related_works":["https://openalex.org/W4238495367","https://openalex.org/W2749065928","https://openalex.org/W3149394920","https://openalex.org/W2039139411","https://openalex.org/W2147155098","https://openalex.org/W2066937537","https://openalex.org/W2494523064","https://openalex.org/W2225666389","https://openalex.org/W2133435578","https://openalex.org/W2056381839"],"abstract_inverted_index":{"Abstract":[0],"Standard":[1],"techniques":[2],"for":[3],"model":[4,149],"checking":[5,150],"stochastic":[6,34],"multi-agent":[7,107,121],"systems":[8,30,32,108],"usually":[9],"assume":[10],"the":[11,15,46,62,78,84,114],"transition":[12],"probabilities":[13,82,100],"describing":[14],"system":[16],"dynamics":[17],"to":[18,49,96,105,141,156],"be":[19,40,102],"stationary":[20],"and":[21,83,128,147,159],"completely":[22],"specified":[23],".":[24,89],"As":[25],"a":[26,117,137],"consequence,":[27],"neither":[28],"non-stationary":[29,111],"nor":[31],"whose":[33],"behaviour":[35],"is":[36,75,95],"partially":[37],"unknown":[38],"can":[39,101],"treated.":[41],"So":[42],"far,":[43],"most":[44],"of":[45,64,80,92,120,144],"approaches":[47],"proposed":[48],"overcome":[50],"this":[51,93],"limitation":[52],"suffer":[53],"from":[54],"complexity":[55],"issues":[56],"making":[57],"them":[58],"poorly":[59,71],"efficient":[60],"in":[61],"case":[63],"large":[65],"state":[66],"spaces.":[67],"A":[68],"fruitful":[69],"but":[70],"explored":[72],"way":[73],"out":[74],"offered":[76],"by":[77,110],"formalism":[79],"imprecise":[81,86,99,163],"related":[85],"Markov":[87,164],"models":[88,122,146],"The":[90],"aim":[91],"paper":[94,115],"show":[97],"how":[98],"fruitfully":[103],"involved":[104],"model-check":[106],"characterised":[109],"behaviours.":[112],"Specifically,":[113],"introduces":[116,136],"new":[118],"class":[119],"called":[123],"Imprecise":[124],"Probabilistic":[125],"Interpreted":[126],"Systems":[127],"their":[129],"relative":[130],"extensions":[131],"with":[132],"rewards.":[133],"It":[134],"also":[135],"proper":[138],"logical":[139],"language":[140],"specify":[142],"properties":[143],"such":[145],"corresponding":[148],"algorithms":[151],"based":[152],"on":[153],"iterative":[154],"procedures":[155],"compute":[157],"probabilistic":[158],"epistemic":[160],"inferences":[161],"over":[162],"models.":[165]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2024,"cited_by_count":3}],"updated_date":"2026-06-13T06:13:01.061226","created_date":"2025-10-10T00:00:00"}