{"id":"https://openalex.org/W3048519602","doi":"https://doi.org/10.1007/s10703-020-00356-y","title":"Automatic verification of concurrent stochastic systems","display_name":"Automatic verification of concurrent stochastic systems","publication_year":2021,"publication_date":"2021-01-22","ids":{"openalex":"https://openalex.org/W3048519602","doi":"https://doi.org/10.1007/s10703-020-00356-y","mag":"3048519602"},"language":"en","primary_location":{"id":"doi:10.1007/s10703-020-00356-y","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s10703-020-00356-y","pdf_url":"https://link.springer.com/content/pdf/10.1007/s10703-020-00356-y.pdf","source":{"id":"https://openalex.org/S3845260","display_name":"Formal Methods in System Design","issn_l":"0925-9856","issn":["0925-9856","1572-8102"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","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":"Formal Methods in System Design","raw_type":"journal-article"},"type":"preprint","indexed_in":["arxiv","crossref","datacite"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://link.springer.com/content/pdf/10.1007/s10703-020-00356-y.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5081710233","display_name":"Marta Kwiatkowska","orcid":"https://orcid.org/0000-0001-9022-7599"},"institutions":[{"id":"https://openalex.org/I40120149","display_name":"University of Oxford","ror":"https://ror.org/052gg0110","country_code":"GB","type":"education","lineage":["https://openalex.org/I40120149"]}],"countries":["GB"],"is_corresponding":true,"raw_author_name":"Marta Kwiatkowska","raw_affiliation_strings":["Department of Computing Science, University of Oxford, Oxford, UK"],"raw_orcid":"https://orcid.org/0000-0001-9022-7599","affiliations":[{"raw_affiliation_string":"Department of Computing Science, University of Oxford, Oxford, UK","institution_ids":["https://openalex.org/I40120149"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5067544120","display_name":"Gethin Norman","orcid":"https://orcid.org/0000-0001-9326-4344"},"institutions":[{"id":"https://openalex.org/I7882870","display_name":"University of Glasgow","ror":"https://ror.org/00vtgdb53","country_code":"GB","type":"education","lineage":["https://openalex.org/I7882870"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Gethin Norman","raw_affiliation_strings":["School of Computing Science, University of Glasgow, Glasgow, UK"],"raw_orcid":"https://orcid.org/0000-0001-9326-4344","affiliations":[{"raw_affiliation_string":"School of Computing Science, University of Glasgow, Glasgow, UK","institution_ids":["https://openalex.org/I7882870"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5036097359","display_name":"David Parker","orcid":"https://orcid.org/0000-0003-4137-8862"},"institutions":[{"id":"https://openalex.org/I79619799","display_name":"University of Birmingham","ror":"https://ror.org/03angcq70","country_code":"GB","type":"education","lineage":["https://openalex.org/I79619799"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"David Parker","raw_affiliation_strings":["School of Computer Science, University of Birmingham, Birmingham, UK"],"raw_orcid":"https://orcid.org/0000-0003-4137-8862","affiliations":[{"raw_affiliation_string":"School of Computer Science, University of Birmingham, Birmingham, UK","institution_ids":["https://openalex.org/I79619799"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5101880063","display_name":"Gabriel Santos","orcid":"https://orcid.org/0000-0002-6570-9737"},"institutions":[{"id":"https://openalex.org/I40120149","display_name":"University of Oxford","ror":"https://ror.org/052gg0110","country_code":"GB","type":"education","lineage":["https://openalex.org/I40120149"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Gabriel Santos","raw_affiliation_strings":["Department of Computing Science, University of Oxford, Oxford, UK"],"raw_orcid":"https://orcid.org/0000-0002-6570-9737","affiliations":[{"raw_affiliation_string":"Department of Computing Science, University of Oxford, Oxford, UK","institution_ids":["https://openalex.org/I40120149"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5081710233"],"corresponding_institution_ids":["https://openalex.org/I40120149"],"apc_list":{"value":2690,"currency":"EUR","value_usd":3490},"apc_paid":{"value":2690,"currency":"EUR","value_usd":3490},"fwci":0.4566,"has_fulltext":true,"cited_by_count":3,"citation_normalized_percentile":{"value":0.65735171,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":"58","issue":"1-2","first_page":"188","last_page":"250"},"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9975000023841858,"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/T11031","display_name":"Game Theory and Applications","score":0.9923999905586243,"subfield":{"id":"https://openalex.org/subfields/1803","display_name":"Management Science and Operations Research"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7092418074607849},{"id":"https://openalex.org/keywords/nash-equilibrium","display_name":"Nash equilibrium","score":0.5305203795433044},{"id":"https://openalex.org/keywords/markov-decision-process","display_name":"Markov decision process","score":0.49965786933898926},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.48029276728630066},{"id":"https://openalex.org/keywords/probabilistic-logic","display_name":"Probabilistic logic","score":0.477060467004776},{"id":"https://openalex.org/keywords/linear-temporal-logic","display_name":"Linear temporal logic","score":0.4394010603427887},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.39376264810562134},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.3715607523918152},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.17900270223617554},{"id":"https://openalex.org/keywords/markov-process","display_name":"Markov process","score":0.1554144024848938}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7092418074607849},{"id":"https://openalex.org/C46814582","wikidata":"https://www.wikidata.org/wiki/Q23389","display_name":"Nash equilibrium","level":2,"score":0.5305203795433044},{"id":"https://openalex.org/C106189395","wikidata":"https://www.wikidata.org/wiki/Q176789","display_name":"Markov decision process","level":3,"score":0.49965786933898926},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.48029276728630066},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.477060467004776},{"id":"https://openalex.org/C4777664","wikidata":"https://www.wikidata.org/wiki/Q1536492","display_name":"Linear temporal logic","level":2,"score":0.4394010603427887},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.39376264810562134},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.3715607523918152},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.17900270223617554},{"id":"https://openalex.org/C159886148","wikidata":"https://www.wikidata.org/wiki/Q176645","display_name":"Markov process","level":2,"score":0.1554144024848938},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0}],"mesh":[],"locations_count":6,"locations":[{"id":"doi:10.1007/s10703-020-00356-y","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s10703-020-00356-y","pdf_url":"https://link.springer.com/content/pdf/10.1007/s10703-020-00356-y.pdf","source":{"id":"https://openalex.org/S3845260","display_name":"Formal Methods in System Design","issn_l":"0925-9856","issn":["0925-9856","1572-8102"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","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":"Formal Methods in System Design","raw_type":"journal-article"},{"id":"pmh:oai:arXiv.org:2008.04613","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2008.04613","pdf_url":"https://arxiv.org/pdf/2008.04613","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"text"},{"id":"pmh:oai:ora.ox.ac.uk:uuid:f33da588-0683-45c4-94dd-426562c3ede8","is_oa":true,"landing_page_url":null,"pdf_url":"https://ora.ox.ac.uk/objects/uuid:f33da588-0683-45c4-94dd-426562c3ede8","source":{"id":"https://openalex.org/S4306402636","display_name":"Oxford University Research Archive (ORA) (University of Oxford)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I40120149","host_organization_name":"University of Oxford","host_organization_lineage":["https://openalex.org/I40120149"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Symplectic Elements","raw_type":"Journal article"},{"id":"mag:3048519602","is_oa":true,"landing_page_url":"https://arxiv.org/pdf/2008.04613.pdf","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"arXiv (Cornell University)","raw_type":null},{"id":"pmh:oai:pure.atira.dk:openaire_cris_publications/4e81bcdc-d6d1-401c-9f68-deda5cec6ef6","is_oa":true,"landing_page_url":"https://research.birmingham.ac.uk/en/publications/4e81bcdc-d6d1-401c-9f68-deda5cec6ef6","pdf_url":null,"source":{"id":"https://openalex.org/S4306402634","display_name":"University of Birmingham Research Portal (University of Birmingham)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I79619799","host_organization_name":"University of Birmingham","host_organization_lineage":["https://openalex.org/I79619799"],"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":"Kwiatkowska, M, Norman, G, Parker, D & Santos, G 2021, 'Automatic verification of concurrent stochastic systems', Formal Methods in System Design. https://doi.org/10.1007/s10703-020-00356-y","raw_type":"article"},{"id":"doi:10.48550/arxiv.2008.04613","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2008.04613","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article"}],"best_oa_location":{"id":"doi:10.1007/s10703-020-00356-y","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s10703-020-00356-y","pdf_url":"https://link.springer.com/content/pdf/10.1007/s10703-020-00356-y.pdf","source":{"id":"https://openalex.org/S3845260","display_name":"Formal Methods in System Design","issn_l":"0925-9856","issn":["0925-9856","1572-8102"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","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":"Formal Methods in System Design","raw_type":"journal-article"},"sustainable_development_goals":[{"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16","score":0.7699999809265137}],"awards":[{"id":"https://openalex.org/G2483205037","display_name":null,"funder_award_id":"EP/M019918/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G4245053905","display_name":"Mobile Robotics: Enabling a Pervasive Technology of the Future","funder_award_id":"EP/M019918/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G5967955937","display_name":"From FUnction-based TO MOdel-based automated probabilistic reasoning for DEep Learning","funder_award_id":"834115","funder_id":"https://openalex.org/F4320338335","funder_display_name":"H2020 European Research Council"}],"funders":[{"id":"https://openalex.org/F4320334627","display_name":"Engineering and Physical Sciences Research Council","ror":"https://ror.org/0439y7842"},{"id":"https://openalex.org/F4320338335","display_name":"H2020 European Research Council","ror":"https://ror.org/0472cxd90"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3048519602.pdf","grobid_xml":"https://content.openalex.org/works/W3048519602.grobid-xml"},"referenced_works_count":81,"referenced_works":["https://openalex.org/W34205182","https://openalex.org/W73291559","https://openalex.org/W117911312","https://openalex.org/W159399628","https://openalex.org/W204760470","https://openalex.org/W1128447031","https://openalex.org/W1480909796","https://openalex.org/W1496672808","https://openalex.org/W1497161038","https://openalex.org/W1514601719","https://openalex.org/W1538639190","https://openalex.org/W1556387789","https://openalex.org/W1564519640","https://openalex.org/W1601373402","https://openalex.org/W1621538476","https://openalex.org/W1689629105","https://openalex.org/W1698757037","https://openalex.org/W1794274623","https://openalex.org/W1862398452","https://openalex.org/W1982429087","https://openalex.org/W1983009109","https://openalex.org/W2005684815","https://openalex.org/W2005998857","https://openalex.org/W2017194981","https://openalex.org/W2037149422","https://openalex.org/W2048363324","https://openalex.org/W2048905609","https://openalex.org/W2060155289","https://openalex.org/W2061874298","https://openalex.org/W2063391005","https://openalex.org/W2067050450","https://openalex.org/W2069746367","https://openalex.org/W2071274528","https://openalex.org/W2075567596","https://openalex.org/W2089649903","https://openalex.org/W2091027967","https://openalex.org/W2105702545","https://openalex.org/W2118024052","https://openalex.org/W2119567691","https://openalex.org/W2125467036","https://openalex.org/W2128206785","https://openalex.org/W2129241738","https://openalex.org/W2140105941","https://openalex.org/W2144846366","https://openalex.org/W2156523042","https://openalex.org/W2163468230","https://openalex.org/W2169287093","https://openalex.org/W2169359757","https://openalex.org/W2292587149","https://openalex.org/W2334782222","https://openalex.org/W2341159425","https://openalex.org/W2396841565","https://openalex.org/W2414117530","https://openalex.org/W2508573783","https://openalex.org/W2520699020","https://openalex.org/W2567760784","https://openalex.org/W2568766587","https://openalex.org/W2575731723","https://openalex.org/W2611147814","https://openalex.org/W2758822441","https://openalex.org/W2771041648","https://openalex.org/W2783275465","https://openalex.org/W2797886180","https://openalex.org/W2811498230","https://openalex.org/W2884246038","https://openalex.org/W2886584225","https://openalex.org/W2893380061","https://openalex.org/W2897836779","https://openalex.org/W2899043600","https://openalex.org/W2914135999","https://openalex.org/W2963112285","https://openalex.org/W2967125001","https://openalex.org/W2970654527","https://openalex.org/W2971283894","https://openalex.org/W2977509914","https://openalex.org/W3032532589","https://openalex.org/W3038043032","https://openalex.org/W3042980517","https://openalex.org/W3109427444","https://openalex.org/W4211045823","https://openalex.org/W4230164823"],"related_works":["https://openalex.org/W3124931799","https://openalex.org/W3041945459","https://openalex.org/W2900500051","https://openalex.org/W3042980517","https://openalex.org/W2899043600","https://openalex.org/W2945040500","https://openalex.org/W3034407568","https://openalex.org/W2206317714","https://openalex.org/W2188793289","https://openalex.org/W2414117530","https://openalex.org/W2587876756","https://openalex.org/W3096588577","https://openalex.org/W1520014908","https://openalex.org/W2951859429","https://openalex.org/W2954682350","https://openalex.org/W2292078779","https://openalex.org/W1519314965","https://openalex.org/W1659646318","https://openalex.org/W3031384348","https://openalex.org/W2130080355"],"abstract_inverted_index":{"Abstract":[0],"Automated":[1],"verification":[2,65,131],"techniques":[3,29,66],"for":[4,67,119,130,135,149,169,207],"stochastic":[5,69],"games":[6,70,164,183],"allow":[7],"formal":[8],"reasoning":[9],"about":[10],"systems":[11],"that":[12],"feature":[13],"competitive":[14],"or":[15,23,53,98,176],"collaborative":[16],"behaviour":[17],"among":[18],"rational":[19],"agents":[20],"in":[21,123,198],"uncertain":[22],"probabilistic":[24],"settings.":[25],"Existing":[26],"tools":[27],"and":[28,46,82,126,132,168,209,221,231],"focus":[30],"on":[31,47],"turn-based":[32],"games,":[33],"where":[34,50,95],"each":[35],"state":[36],"of":[37,78,114,138,181,187,228],"the":[38,115,144,185,203,226],"game":[39],"is":[40,146,152],"controlled":[41],"by":[42],"a":[43,74,136],"single":[44],"player,":[45],"zero-sum":[48,158],"properties,":[49],"two":[51,96],"players":[52,97],"coalitions":[54,99],"have":[55],"directly":[56],"opposing":[57],"objectives.":[58],"In":[59],"this":[60,124,196],"paper,":[61],"we":[62,172],"present":[63,127],"automated":[64],"concurrent":[68,79],"(CSGs),":[71],"which":[72,200],"provide":[73],"more":[75],"natural":[76],"model":[77],"decision":[80],"making":[81],"interaction.":[83],"We":[84,110,194],"also":[85],"consider":[86],"(social":[87],"welfare)":[88],"Nash":[89,179],"equilibria,":[90],"to":[91,105,212],"formally":[92],"identify":[93],"scenarios":[94],"with":[100],"distinct":[101],"goals":[102],"can":[103],"collaborate":[104],"optimise":[106],"their":[107],"joint":[108],"performance.":[109],"propose":[111],"an":[112,191],"extension":[113],"temporal":[116],"logic":[117],"rPATL":[118],"specifying":[120],"quantitative":[121],"properties":[122,143,159,171],"setting":[125],"corresponding":[128],"algorithms":[129],"strategy":[133],"synthesis":[134],"variant":[137],"stopping":[139],"games.":[140],"For":[141,157],"finite-horizon":[142],"computation":[145],"exact,":[147],"while":[148],"infinite-horizon":[150],"it":[151,160,211],"approximate":[153],"using":[154],"value":[155],"iteration.":[156],"requires":[161],"solving":[162],"matrix":[163],"via":[165,184],"linear":[166],"programming,":[167],"equilibria-based":[170,232],"find":[173],"social":[174,177],"welfare":[175],"cost":[178],"equilibria":[180],"bimatrix":[182],"method":[186],"labelled":[188],"polytopes":[189],"through":[190],"SMT":[192],"encoding.":[193],"implement":[195],"approach":[197],"PRISM-games,":[199],"required":[201],"extending":[202],"tool\u2019s":[204],"modelling":[205],"language":[206],"CSGs,":[208],"apply":[210],"case":[213],"studies":[214],"from":[215],"domains":[216],"including":[217],"robotics,":[218],"computer":[219,222],"security":[220],"networks,":[223],"explicitly":[224],"demonstrating":[225],"benefits":[227],"both":[229],"CSGs":[230],"properties.":[233]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":1}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}