{"id":"https://openalex.org/W4323040682","doi":"https://doi.org/10.3233/jifs-222803","title":"Quantitative reachability analysis of generalized possibilistic decision processes","display_name":"Quantitative reachability analysis of generalized possibilistic decision processes","publication_year":2023,"publication_date":"2023-03-03","ids":{"openalex":"https://openalex.org/W4323040682","doi":"https://doi.org/10.3233/jifs-222803"},"language":"en","primary_location":{"id":"doi:10.3233/jifs-222803","is_oa":true,"landing_page_url":"https://doi.org/10.3233/jifs-222803","pdf_url":"https://content.iospress.com:443/download/journal-of-intelligent-and-fuzzy-systems/ifs222803?id=journal-of-intelligent-and-fuzzy-systems%2Fifs222803","source":{"id":"https://openalex.org/S179157397","display_name":"Journal of Intelligent & Fuzzy Systems","issn_l":"1064-1246","issn":["1064-1246","1875-8967"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310318577","host_organization_name":"IOS Press","host_organization_lineage":["https://openalex.org/P4310318577"],"host_organization_lineage_names":["IOS Press"],"type":"journal"},"license":"cc-by-nc","license_id":"https://openalex.org/licenses/cc-by-nc","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Intelligent & Fuzzy Systems","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://content.iospress.com:443/download/journal-of-intelligent-and-fuzzy-systems/ifs222803?id=journal-of-intelligent-and-fuzzy-systems%2Fifs222803","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5102774277","display_name":"Zhanyou Ma","orcid":"https://orcid.org/0000-0002-1016-6608"},"institutions":[{"id":"https://openalex.org/I3019309368","display_name":"North Minzu University","ror":"https://ror.org/05xjevr11","country_code":"CN","type":"education","lineage":["https://openalex.org/I3019309368"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Zhanyou Ma","raw_affiliation_strings":["School of Computer Science and Engineering, North Minzu University, Yinchuan, China"],"raw_orcid":"https://orcid.org/0000-0002-1016-6608","affiliations":[{"raw_affiliation_string":"School of Computer Science and Engineering, North Minzu University, Yinchuan, China","institution_ids":["https://openalex.org/I3019309368"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5079556476","display_name":"Yingnan Gao","orcid":null},"institutions":[{"id":"https://openalex.org/I3019309368","display_name":"North Minzu University","ror":"https://ror.org/05xjevr11","country_code":"CN","type":"education","lineage":["https://openalex.org/I3019309368"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yingnan Gao","raw_affiliation_strings":["School of Computer Science and Engineering, North Minzu University, Yinchuan, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Computer Science and Engineering, North Minzu University, Yinchuan, China","institution_ids":["https://openalex.org/I3019309368"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5011356630","display_name":"Zhaokai Li","orcid":"https://orcid.org/0000-0002-5350-956X"},"institutions":[{"id":"https://openalex.org/I3019309368","display_name":"North Minzu University","ror":"https://ror.org/05xjevr11","country_code":"CN","type":"education","lineage":["https://openalex.org/I3019309368"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Zhaokai Li","raw_affiliation_strings":["School of Computer Science and Engineering, North Minzu University, Yinchuan, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Computer Science and Engineering, North Minzu University, Yinchuan, China","institution_ids":["https://openalex.org/I3019309368"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100445554","display_name":"Xia Li","orcid":"https://orcid.org/0000-0001-9925-1026"},"institutions":[{"id":"https://openalex.org/I3019309368","display_name":"North Minzu University","ror":"https://ror.org/05xjevr11","country_code":"CN","type":"education","lineage":["https://openalex.org/I3019309368"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xia Li","raw_affiliation_strings":["School of Computer Science and Engineering, North Minzu University, Yinchuan, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Computer Science and Engineering, North Minzu University, Yinchuan, China","institution_ids":["https://openalex.org/I3019309368"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5100702698","display_name":"Ziyuan Liu","orcid":"https://orcid.org/0000-0001-7164-088X"},"institutions":[{"id":"https://openalex.org/I3019309368","display_name":"North Minzu University","ror":"https://ror.org/05xjevr11","country_code":"CN","type":"education","lineage":["https://openalex.org/I3019309368"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Ziyuan Liu","raw_affiliation_strings":["School of Computer Science and Engineering, North Minzu University, Yinchuan, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Computer Science and Engineering, North Minzu University, Yinchuan, China","institution_ids":["https://openalex.org/I3019309368"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5102774277"],"corresponding_institution_ids":["https://openalex.org/I3019309368"],"apc_list":null,"apc_paid":null,"fwci":0.6954,"has_fulltext":true,"cited_by_count":4,"citation_normalized_percentile":{"value":0.69804768,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":97,"max":98},"biblio":{"volume":"44","issue":"5","first_page":"8357","last_page":"8373"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11357","display_name":"Risk and Safety Analysis","score":0.9987999796867371,"subfield":{"id":"https://openalex.org/subfields/1804","display_name":"Statistics, Probability and Uncertainty"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},"topics":[{"id":"https://openalex.org/T11357","display_name":"Risk and Safety Analysis","score":0.9987999796867371,"subfield":{"id":"https://openalex.org/subfields/1804","display_name":"Statistics, Probability and Uncertainty"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T12423","display_name":"Software Reliability and Analysis Research","score":0.9973000288009644,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/T13295","display_name":"Safety Systems Engineering in Autonomy","score":0.9901000261306763,"subfield":{"id":"https://openalex.org/subfields/2213","display_name":"Safety, Risk, Reliability and Quality"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/reachability","display_name":"Reachability","score":0.9223852753639221},{"id":"https://openalex.org/keywords/nondeterministic-algorithm","display_name":"Nondeterministic algorithm","score":0.7939345836639404},{"id":"https://openalex.org/keywords/kripke-structure","display_name":"Kripke structure","score":0.6376827955245972},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.49695447087287903},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.4942004978656769},{"id":"https://openalex.org/keywords/fuzzy-logic","display_name":"Fuzzy logic","score":0.47562339901924133},{"id":"https://openalex.org/keywords/reachability-problem","display_name":"Reachability problem","score":0.42031702399253845},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.3871949017047882},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3668220639228821},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.21979296207427979}],"concepts":[{"id":"https://openalex.org/C136643341","wikidata":"https://www.wikidata.org/wiki/Q1361526","display_name":"Reachability","level":2,"score":0.9223852753639221},{"id":"https://openalex.org/C176181172","wikidata":"https://www.wikidata.org/wiki/Q3490301","display_name":"Nondeterministic algorithm","level":2,"score":0.7939345836639404},{"id":"https://openalex.org/C161913894","wikidata":"https://www.wikidata.org/wiki/Q1077740","display_name":"Kripke structure","level":3,"score":0.6376827955245972},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.49695447087287903},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.4942004978656769},{"id":"https://openalex.org/C58166","wikidata":"https://www.wikidata.org/wiki/Q224821","display_name":"Fuzzy logic","level":2,"score":0.47562339901924133},{"id":"https://openalex.org/C2777669093","wikidata":"https://www.wikidata.org/wiki/Q17141570","display_name":"Reachability problem","level":3,"score":0.42031702399253845},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.3871949017047882},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3668220639228821},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.21979296207427979}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.3233/jifs-222803","is_oa":true,"landing_page_url":"https://doi.org/10.3233/jifs-222803","pdf_url":"https://content.iospress.com:443/download/journal-of-intelligent-and-fuzzy-systems/ifs222803?id=journal-of-intelligent-and-fuzzy-systems%2Fifs222803","source":{"id":"https://openalex.org/S179157397","display_name":"Journal of Intelligent & Fuzzy Systems","issn_l":"1064-1246","issn":["1064-1246","1875-8967"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310318577","host_organization_name":"IOS Press","host_organization_lineage":["https://openalex.org/P4310318577"],"host_organization_lineage_names":["IOS Press"],"type":"journal"},"license":"cc-by-nc","license_id":"https://openalex.org/licenses/cc-by-nc","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Intelligent & Fuzzy Systems","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.3233/jifs-222803","is_oa":true,"landing_page_url":"https://doi.org/10.3233/jifs-222803","pdf_url":"https://content.iospress.com:443/download/journal-of-intelligent-and-fuzzy-systems/ifs222803?id=journal-of-intelligent-and-fuzzy-systems%2Fifs222803","source":{"id":"https://openalex.org/S179157397","display_name":"Journal of Intelligent & Fuzzy Systems","issn_l":"1064-1246","issn":["1064-1246","1875-8967"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310318577","host_organization_name":"IOS Press","host_organization_lineage":["https://openalex.org/P4310318577"],"host_organization_lineage_names":["IOS Press"],"type":"journal"},"license":"cc-by-nc","license_id":"https://openalex.org/licenses/cc-by-nc","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Intelligent & Fuzzy Systems","raw_type":"journal-article"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions","score":0.7599999904632568}],"awards":[{"id":"https://openalex.org/G1547330555","display_name":null,"funder_award_id":"YCX 22196","funder_id":"https://openalex.org/F4320335884","funder_display_name":"Graduate Innovation Project of North Minzu University"},{"id":"https://openalex.org/G748585758","display_name":null,"funder_award_id":"YCX22184","funder_id":"https://openalex.org/F4320335884","funder_display_name":"Graduate Innovation Project of North Minzu University"},{"id":"https://openalex.org/G7655401299","display_name":"\u57fa\u4e8e\u51b3\u7b56\u8fc7\u7a0b\u7684\u5e7f\u4e49\u53ef\u80fd\u6027\u65f6\u5e8f\u903b\u8f91\u7684\u7b26\u53f7\u6a21\u578b\u68c0\u6d4b\u65b9\u6cd5\u7814\u7a76","funder_award_id":"61962001","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"}],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"},{"id":"https://openalex.org/F4320327619","display_name":"North Minzu University","ror":null},{"id":"https://openalex.org/F4320335884","display_name":"Graduate Innovation Project of North Minzu University","ror":null}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4323040682.pdf","grobid_xml":"https://content.openalex.org/works/W4323040682.grobid-xml"},"referenced_works_count":21,"referenced_works":["https://openalex.org/W2058117005","https://openalex.org/W2061636055","https://openalex.org/W2066374160","https://openalex.org/W2102105946","https://openalex.org/W2130561017","https://openalex.org/W2132170793","https://openalex.org/W2167942029","https://openalex.org/W2266216663","https://openalex.org/W2272217514","https://openalex.org/W2515014082","https://openalex.org/W2761350507","https://openalex.org/W2963259237","https://openalex.org/W2963975928","https://openalex.org/W2974614356","https://openalex.org/W3015252773","https://openalex.org/W3020490804","https://openalex.org/W3200701321","https://openalex.org/W3203281173","https://openalex.org/W3216746143","https://openalex.org/W3217781117","https://openalex.org/W4292998656"],"related_works":["https://openalex.org/W2081955678","https://openalex.org/W2884574904","https://openalex.org/W2386289764","https://openalex.org/W2130679749","https://openalex.org/W2047831585","https://openalex.org/W4253760428","https://openalex.org/W2099490078","https://openalex.org/W3208672221","https://openalex.org/W3017277461","https://openalex.org/W3172202899"],"abstract_inverted_index":{"The":[0],"verification":[1,117],"of":[2,5,55,65,67,69,78,87,95,118,124],"reachability":[3,103],"properties":[4],"fuzzy":[6,13,21,36,59,83],"systems":[7,37],"is":[8,28],"usually":[9],"based":[10],"on":[11,76],"the":[12,47,53,63,70,88,92,116,122],"Kripke":[14,18,22,26],"structure":[15,23,27],"or":[16,24],"possibilistic":[17,25,49,72],"structure.":[19],"However,":[20],"not":[29],"enough":[30],"to":[31,114],"describe":[32],"nondeterministic":[33,56],"and":[34,57,61,91,104],"concurrent":[35,58],"in":[38],"real":[39],"life.":[40],"In":[41],"this":[42],"paper,":[43],"firstly,":[44],"we":[45,81,108],"propose":[46,109],"generalized":[48,71],"decision":[50,73],"process":[51,74],"as":[52],"model":[54,111],"systems,":[60],"deduce":[62],"possibilities":[64,90,94],"sets":[66],"paths":[68],"relying":[75],"defining":[77],"schedulers.":[79],"Then,":[80],"give":[82],"matrices":[84],"calculation":[85],"methods":[86],"maximal":[89],"minimal":[93],"eventual":[96],"reachability,":[97,99,101],"always":[98],"constrained":[100],"repeated":[102],"persistent":[105],"reachability.":[106],"Finally,":[107],"a":[110],"checking":[112],"approach":[113],"convert":[115],"safety":[119],"property":[120],"into":[121],"analysis":[123],"reachabilities.":[125]},"counts_by_year":[{"year":2024,"cited_by_count":4}],"updated_date":"2026-08-01T09:00:35.917206","created_date":"2025-10-10T00:00:00"}