{"id":"https://openalex.org/W7169606168","doi":"https://doi.org/10.48550/arxiv.2607.15029","title":"Towards realistic large random models of labeled transition systems and their 0-1 laws","display_name":"Towards realistic large random models of labeled transition systems and their 0-1 laws","publication_year":2026,"publication_date":"2026-07-16","ids":{"openalex":"https://openalex.org/W7169606168","doi":"https://doi.org/10.48550/arxiv.2607.15029"},"language":null,"primary_location":{"id":"doi:10.48550/arxiv.2607.15029","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2607.15029","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"type":"preprint","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.48550/arxiv.2607.15029","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5066676005","display_name":"Milan Lopuha\u00e4-Zwakenberg","orcid":"https://orcid.org/0000-0001-5687-854X"},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Lopuha\u00e4-Zwakenberg, Milan","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5066676005"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"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.8891000151634216,"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.8891000151634216,"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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.02969999983906746,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.014299999922513962,"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/model-checking","display_name":"Model checking","score":0.5710999965667725},{"id":"https://openalex.org/keywords/random-graph","display_name":"Random graph","score":0.5507000088691711},{"id":"https://openalex.org/keywords/probabilistic-logic","display_name":"Probabilistic logic","score":0.5285999774932861},{"id":"https://openalex.org/keywords/heuristics","display_name":"Heuristics","score":0.5059999823570251},{"id":"https://openalex.org/keywords/law-of-large-numbers","display_name":"Law of large numbers","score":0.4397999942302704},{"id":"https://openalex.org/keywords/modal","display_name":"Modal","score":0.38499999046325684},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.3788999915122986},{"id":"https://openalex.org/keywords/limit","display_name":"Limit (mathematics)","score":0.3781999945640564},{"id":"https://openalex.org/keywords/function","display_name":"Function (biology)","score":0.35839998722076416},{"id":"https://openalex.org/keywords/convergence-of-random-variables","display_name":"Convergence of random variables","score":0.3434000015258789}],"concepts":[{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.5710999965667725},{"id":"https://openalex.org/C47458327","wikidata":"https://www.wikidata.org/wiki/Q910404","display_name":"Random graph","level":3,"score":0.5507000088691711},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.5285999774932861},{"id":"https://openalex.org/C127705205","wikidata":"https://www.wikidata.org/wiki/Q5748245","display_name":"Heuristics","level":2,"score":0.5059999823570251},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.48330000042915344},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.44530001282691956},{"id":"https://openalex.org/C185767445","wikidata":"https://www.wikidata.org/wiki/Q207952","display_name":"Law of large numbers","level":3,"score":0.4397999942302704},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.41749998927116394},{"id":"https://openalex.org/C71139939","wikidata":"https://www.wikidata.org/wiki/Q910194","display_name":"Modal","level":2,"score":0.38499999046325684},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.3788999915122986},{"id":"https://openalex.org/C151201525","wikidata":"https://www.wikidata.org/wiki/Q177239","display_name":"Limit (mathematics)","level":2,"score":0.3781999945640564},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3635999858379364},{"id":"https://openalex.org/C14036430","wikidata":"https://www.wikidata.org/wiki/Q3736076","display_name":"Function (biology)","level":2,"score":0.35839998722076416},{"id":"https://openalex.org/C95763700","wikidata":"https://www.wikidata.org/wiki/Q578985","display_name":"Convergence of random variables","level":3,"score":0.3434000015258789},{"id":"https://openalex.org/C114289077","wikidata":"https://www.wikidata.org/wiki/Q3284399","display_name":"Statistical model","level":2,"score":0.3424000144004822},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.3257000148296356},{"id":"https://openalex.org/C149091818","wikidata":"https://www.wikidata.org/wiki/Q2429814","display_name":"Software system","level":3,"score":0.3208000063896179},{"id":"https://openalex.org/C13929819","wikidata":"https://www.wikidata.org/wiki/Q176737","display_name":"Random function","level":3,"score":0.3138999938964844},{"id":"https://openalex.org/C2777303404","wikidata":"https://www.wikidata.org/wiki/Q759757","display_name":"Convergence (economics)","level":2,"score":0.3095000088214874},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.3093000054359436},{"id":"https://openalex.org/C106159264","wikidata":"https://www.wikidata.org/wiki/Q17146789","display_name":"Random testing","level":4,"score":0.3003999888896942},{"id":"https://openalex.org/C28826006","wikidata":"https://www.wikidata.org/wiki/Q33521","display_name":"Applied mathematics","level":1,"score":0.2939000129699707},{"id":"https://openalex.org/C88230418","wikidata":"https://www.wikidata.org/wiki/Q131476","display_name":"Graph theory","level":2,"score":0.28690001368522644},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.2741999924182892},{"id":"https://openalex.org/C93959086","wikidata":"https://www.wikidata.org/wiki/Q6888345","display_name":"Model selection","level":2,"score":0.2727999985218048},{"id":"https://openalex.org/C28719098","wikidata":"https://www.wikidata.org/wiki/Q44946","display_name":"Point (geometry)","level":2,"score":0.2660999894142151},{"id":"https://openalex.org/C197055811","wikidata":"https://www.wikidata.org/wiki/Q207522","display_name":"Probability density function","level":2,"score":0.26589998602867126},{"id":"https://openalex.org/C47822265","wikidata":"https://www.wikidata.org/wiki/Q854457","display_name":"Complex system","level":2,"score":0.265500009059906},{"id":"https://openalex.org/C8272713","wikidata":"https://www.wikidata.org/wiki/Q176737","display_name":"Stochastic process","level":2,"score":0.26429998874664307},{"id":"https://openalex.org/C121864883","wikidata":"https://www.wikidata.org/wiki/Q677916","display_name":"Statistical physics","level":1,"score":0.2639999985694885},{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.25850000977516174},{"id":"https://openalex.org/C122203268","wikidata":"https://www.wikidata.org/wiki/Q5862903","display_name":"Probability theory","level":2,"score":0.2572000026702881},{"id":"https://openalex.org/C32230216","wikidata":"https://www.wikidata.org/wiki/Q7882499","display_name":"Uncertainty quantification","level":2,"score":0.2563000023365021},{"id":"https://openalex.org/C130402806","wikidata":"https://www.wikidata.org/wiki/Q5361768","display_name":"Random field","level":2,"score":0.2502000033855438}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2607.15029","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2607.15029","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"doi:10.48550/arxiv.2607.15029","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2607.15029","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"sustainable_development_goals":[{"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16","score":0.7262675166130066}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Model":[0,94],"checking":[1,43,212],"is":[2,19,164],"the":[3,57,83,93,108,130,134,148,171,187,201],"automated":[4],"verification":[5],"of":[6,32,60,75,82,85,111,174,195,204],"properties":[7],"(specified":[8],"in":[9,13,23,46,50,122],"some":[10],"modal":[11,119],"logic)":[12],"labeled":[14],"transition":[15],"systems":[16,26],"(LTSs);":[17],"it":[18,151],"an":[20],"essential":[21],"tool":[22],"ensuring":[24],"software":[25,33],"function":[27],"as":[28,133],"intended.":[29],"State":[30],"spaces":[31],"grow":[34],"exponentially,":[35],"and":[36,116,178,199],"heuristics":[37],"are":[38,186],"needed":[39],"to":[40,70,137,154,208],"ensure":[41],"model":[42,74,113,123,209],"remains":[44],"feasible":[45],"real-world":[47],"applications.":[48],"Heuristics,":[49],"turn,":[51],"require":[52],"a":[53,72,79,142,155,158,191],"good":[54],"understanding":[55,194],"on":[56,129],"typical":[58,196],"behaviour":[59,110],"LTSs.":[61,77],"In":[62],"this":[63,112,162],"paper,":[64],"we":[65,97,106,139],"use":[66],"random":[67,205],"graph":[68,206],"theory":[69,207],"create":[71],"probabilistic":[73],"large":[76,86],"From":[78],"theoretical":[80,172,193],"analysis":[81],"creation":[84],"LTSs,":[87],"backed":[88],"by":[89],"empirical":[90],"data":[91],"from":[92],"Checking":[95],"Contest,":[96],"endow":[98],"these":[99,176],"models":[100],"with":[101],"realistic":[102],"parameter":[103],"values.":[104],"Then,":[105],"analyze":[107],"asymptotic":[109],"under":[114],"LTL":[115],"CTL,":[117],"two":[118],"logics":[120],"popular":[121],"checking.":[124,210],"We":[125,168],"show":[126],"that,":[127],"depending":[128],"precise":[131],"model,":[132],"size":[135],"grows":[136],"infinity":[138],"either":[140],"have":[141],"convergence":[143],"law":[144,160],"(for":[145],"every":[146],"formula,":[147],"probability":[149],"that":[150],"holds":[152],"converges":[153],"limit)":[156],"or":[157,166],"0-1":[159,217],"(...and":[161],"limit":[163],"0":[165],"1).":[167],"also":[169],"discuss":[170],"complexity":[173],"determining":[175],"limits,":[177],"give":[179],"algorithms":[180],"for":[181],"doing":[182],"so.":[183],"These":[184],"results":[185],"starting":[188],"point":[189],"towards":[190],"deep":[192],"LTS":[197],"behaviour,":[198],"highlight":[200],"promising":[202],"applicability":[203],"\\keywords{Model":[211],"\\and":[213,216],"Random":[214],"graphs":[215],"laws":[218]},"counts_by_year":[],"updated_date":"2026-07-28T07:46:37.118299","created_date":"2026-07-18T00:00:00"}