{"id":"https://openalex.org/W143370938","doi":"https://doi.org/10.2168/lmcs-10(4:6)2014","title":"Stochastic Timed Automata","display_name":"Stochastic Timed Automata","publication_year":2014,"publication_date":"2014-12-09","ids":{"openalex":"https://openalex.org/W143370938","doi":"https://doi.org/10.2168/lmcs-10(4:6)2014","mag":"143370938"},"language":"en","primary_location":{"id":"doi:10.2168/lmcs-10(4:6)2014","is_oa":true,"landing_page_url":"https://doi.org/10.2168/lmcs-10(4:6)2014","pdf_url":"https://lmcs.episciences.org/1092/pdf","source":{"id":"https://openalex.org/S114379355","display_name":"Logical Methods in Computer Science","issn_l":"1860-5974","issn":["1860-5974"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310313916","host_organization_name":"Logical Methods in Computer Science e.V.","host_organization_lineage":["https://openalex.org/P4310313916"],"host_organization_lineage_names":["Logical Methods in Computer Science e.V."],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Logical Methods in Computer Science","raw_type":"journal-article"},"type":"article","indexed_in":["arxiv","crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://lmcs.episciences.org/1092/pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5019307337","display_name":"Nathalie Bertrand","orcid":"https://orcid.org/0000-0002-9957-5394"},"institutions":[{"id":"https://openalex.org/I4210133778","display_name":"Centre Inria de l'Universit\u00e9 de Rennes","ror":"https://ror.org/04040yw90","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1326498283","https://openalex.org/I4210133778"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Nathalie Bertrand","raw_affiliation_strings":["Inria Rennes, France","SUMO - SUpervision of large MOdular and distributed systems (Campus de Beaulieu 35042 Rennes cedex - France)"],"raw_orcid":"https://orcid.org/0000-0002-9957-5394","affiliations":[{"raw_affiliation_string":"Inria Rennes, France","institution_ids":["https://openalex.org/I4210133778"]},{"raw_affiliation_string":"SUMO - SUpervision of large MOdular and distributed systems (Campus de Beaulieu 35042 Rennes cedex - France)","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5041884792","display_name":"Patricia Bouyer","orcid":"https://orcid.org/0000-0002-2823-0911"},"institutions":[{"id":"https://openalex.org/I11559806","display_name":"\u00c9cole Normale Sup\u00e9rieure Paris-Saclay","ror":"https://ror.org/00hx6zz33","country_code":"FR","type":"education","lineage":["https://openalex.org/I11559806","https://openalex.org/I277688954"]},{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"government","lineage":["https://openalex.org/I1294671590"]},{"id":"https://openalex.org/I4210104198","display_name":"Laboratoire Sp\u00e9cification et V\u00e9rification","ror":"https://ror.org/01kz1bj67","country_code":"FR","type":"facility","lineage":["https://openalex.org/I11559806","https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I277688954","https://openalex.org/I4210104198","https://openalex.org/I4210159245"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Patricia Bouyer","raw_affiliation_strings":["LSV, CNRS & ENS Cachan, France","ENS Cachan - \u00c9cole normale sup\u00e9rieure - Cachan (61, avenue du Pr\u00e9sident Wilson - 94230 Cachan - France)","LSV - Laboratoire Sp\u00e9cification et V\u00e9rification [Cachan] (B\u00e2timent d'Alembert 61 Avenue du Pr\u00e9sident Wilson 94235 CACHAN CEDEX - France)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"LSV, CNRS & ENS Cachan, France","institution_ids":["https://openalex.org/I11559806","https://openalex.org/I1294671590"]},{"raw_affiliation_string":"ENS Cachan - \u00c9cole normale sup\u00e9rieure - Cachan (61, avenue du Pr\u00e9sident Wilson - 94230 Cachan - France)","institution_ids":["https://openalex.org/I11559806"]},{"raw_affiliation_string":"LSV - Laboratoire Sp\u00e9cification et V\u00e9rification [Cachan] (B\u00e2timent d'Alembert 61 Avenue du Pr\u00e9sident Wilson 94235 CACHAN CEDEX - France)","institution_ids":["https://openalex.org/I4210104198"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5070197309","display_name":"Thomas Brihaye","orcid":"https://orcid.org/0000-0001-5763-3130"},"institutions":[{"id":"https://openalex.org/I130929987","display_name":"University of Mons","ror":"https://ror.org/02qnnz951","country_code":"BE","type":"education","lineage":["https://openalex.org/I130929987"]}],"countries":["BE"],"is_corresponding":false,"raw_author_name":"Thomas Brihaye","raw_affiliation_strings":["Institut de Math\u00e9matiques [Mons] (Universit\u00e9 de Mons Place du parc 20 7000 Mons Belgique - Belgium)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institut de Math\u00e9matiques [Mons] (Universit\u00e9 de Mons Place du parc 20 7000 Mons Belgique - Belgium)","institution_ids":["https://openalex.org/I130929987"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5021556988","display_name":"Quentin Menet","orcid":"https://orcid.org/0000-0002-9334-1837"},"institutions":[{"id":"https://openalex.org/I130929987","display_name":"University of Mons","ror":"https://ror.org/02qnnz951","country_code":"BE","type":"education","lineage":["https://openalex.org/I130929987"]}],"countries":["BE"],"is_corresponding":false,"raw_author_name":"Quentin Menet","raw_affiliation_strings":["Universit de Mons, Belgium","Institut de Math\u00e9matiques [Mons] (Universit\u00e9 de Mons Place du parc 20 7000 Mons Belgique - Belgium)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Universit de Mons, Belgium","institution_ids":["https://openalex.org/I130929987"]},{"raw_affiliation_string":"Institut de Math\u00e9matiques [Mons] (Universit\u00e9 de Mons Place du parc 20 7000 Mons Belgique - Belgium)","institution_ids":["https://openalex.org/I130929987"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5091344667","display_name":"Christel Baier","orcid":"https://orcid.org/0000-0002-5321-9343"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Christel Baier","raw_affiliation_strings":["Department of Computer Science [Dresden] (Germany)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science [Dresden] (Germany)","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5111429044","display_name":"Marcus Groesser","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Marcus Groesser","raw_affiliation_strings":["Department of Computer Science [Dresden] (Germany)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science [Dresden] (Germany)","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5073411912","display_name":"Marcin Jurdzi\u0144ski","orcid":"https://orcid.org/0000-0003-3640-8481"},"institutions":[{"id":"https://openalex.org/I39555362","display_name":"University of Warwick","ror":"https://ror.org/01a77tt86","country_code":"GB","type":"education","lineage":["https://openalex.org/I39555362"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Marcin Jurdzinski","raw_affiliation_strings":["Department of Computer Science [Warwick] (University of Warwick, Coventry CV4 7AL, UK - United Kingdom)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science [Warwick] (University of Warwick, Coventry CV4 7AL, UK - United Kingdom)","institution_ids":["https://openalex.org/I39555362"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":6,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.784,"has_fulltext":true,"cited_by_count":52,"citation_normalized_percentile":{"value":0.83780663,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":"Volume 10, Issue 4","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.9998999834060669,"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.9998999834060669,"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/T11125","display_name":"Petri Nets in System Modeling","score":0.9986000061035156,"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.9914000034332275,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/timed-automaton","display_name":"Timed automaton","score":0.7584723234176636},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.7024623155593872},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6776958703994751},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.6713376045227051},{"id":"https://openalex.org/keywords/b\u00fcchi-automaton","display_name":"B\u00fcchi automaton","score":0.6013270020484924},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.5577928423881531},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.5477041006088257},{"id":"https://openalex.org/keywords/quantum-finite-automata","display_name":"Quantum finite automata","score":0.47787681221961975},{"id":"https://openalex.org/keywords/probabilistic-logic","display_name":"Probabilistic logic","score":0.47696244716644287},{"id":"https://openalex.org/keywords/probabilistic-automaton","display_name":"Probabilistic automaton","score":0.4651317000389099},{"id":"https://openalex.org/keywords/deterministic-automaton","display_name":"Deterministic automaton","score":0.46174389123916626},{"id":"https://openalex.org/keywords/markov-chain","display_name":"Markov chain","score":0.43567854166030884},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.3857474625110626},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3169706165790558},{"id":"https://openalex.org/keywords/automata-theory","display_name":"Automata theory","score":0.28359901905059814},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.24100112915039062},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.07351863384246826}],"concepts":[{"id":"https://openalex.org/C30788636","wikidata":"https://www.wikidata.org/wiki/Q7805517","display_name":"Timed automaton","level":3,"score":0.7584723234176636},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.7024623155593872},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6776958703994751},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.6713376045227051},{"id":"https://openalex.org/C165753454","wikidata":"https://www.wikidata.org/wiki/Q1020380","display_name":"B\u00fcchi automaton","level":4,"score":0.6013270020484924},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5577928423881531},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.5477041006088257},{"id":"https://openalex.org/C174327141","wikidata":"https://www.wikidata.org/wiki/Q176837","display_name":"Quantum finite automata","level":4,"score":0.47787681221961975},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.47696244716644287},{"id":"https://openalex.org/C174784677","wikidata":"https://www.wikidata.org/wiki/Q176567","display_name":"Probabilistic automaton","level":3,"score":0.4651317000389099},{"id":"https://openalex.org/C194525867","wikidata":"https://www.wikidata.org/wiki/Q5265707","display_name":"Deterministic automaton","level":3,"score":0.46174389123916626},{"id":"https://openalex.org/C98763669","wikidata":"https://www.wikidata.org/wiki/Q176645","display_name":"Markov chain","level":2,"score":0.43567854166030884},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.3857474625110626},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3169706165790558},{"id":"https://openalex.org/C116248031","wikidata":"https://www.wikidata.org/wiki/Q214526","display_name":"Automata theory","level":3,"score":0.28359901905059814},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.24100112915039062},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.07351863384246826},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.0}],"mesh":[],"locations_count":6,"locations":[{"id":"doi:10.2168/lmcs-10(4:6)2014","is_oa":true,"landing_page_url":"https://doi.org/10.2168/lmcs-10(4:6)2014","pdf_url":"https://lmcs.episciences.org/1092/pdf","source":{"id":"https://openalex.org/S114379355","display_name":"Logical Methods in Computer Science","issn_l":"1860-5974","issn":["1860-5974"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310313916","host_organization_name":"Logical Methods in Computer Science e.V.","host_organization_lineage":["https://openalex.org/P4310313916"],"host_organization_lineage_names":["Logical Methods in Computer Science e.V."],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Logical Methods in Computer Science","raw_type":"journal-article"},{"id":"pmh:oai:arXiv.org:1410.2128","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1410.2128","pdf_url":"https://arxiv.org/pdf/1410.2128","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":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.678.7315","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.678.7315","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.lsv.ens-cachan.fr/Publis/PAPERS/PDF/BBBMBGJ-mfcs14.pdf","raw_type":"text"},{"id":"pmh:oai:HAL:hal-01102368v1","is_oa":true,"landing_page_url":"https://inria.hal.science/hal-01102368","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Logical Methods in Computer Science, 2014, 10 (4), ⟨10.2168/LMCS-10(4:6)2014⟩","raw_type":"info:eu-repo/semantics/article"},{"id":"pmh:oai:doaj.org/article:f92695f2a20e4670973631558ddb9c08","is_oa":true,"landing_page_url":"https://doaj.org/article/f92695f2a20e4670973631558ddb9c08","pdf_url":null,"source":{"id":"https://openalex.org/S4306401280","display_name":"DOAJ (DOAJ: Directory of Open Access Journals)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-sa","license_id":"https://openalex.org/licenses/cc-by-sa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Logical Methods in Computer Science, Vol Volume 10, Issue 4 (2014)","raw_type":"article"},{"id":"pmh:oai:orbi.umons.ac.be:20.500.12907/31012","is_oa":false,"landing_page_url":"https://orbi.umons.ac.be/handle/20.500.12907/31012","pdf_url":null,"source":{"id":"https://openalex.org/S7407055454","display_name":"ORBi UMONS","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Logical Methods in Computer Science (2014-12-09)","raw_type":"http://purl.org/coar/resource_type/c_6501"}],"best_oa_location":{"id":"doi:10.2168/lmcs-10(4:6)2014","is_oa":true,"landing_page_url":"https://doi.org/10.2168/lmcs-10(4:6)2014","pdf_url":"https://lmcs.episciences.org/1092/pdf","source":{"id":"https://openalex.org/S114379355","display_name":"Logical Methods in Computer Science","issn_l":"1860-5974","issn":["1860-5974"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310313916","host_organization_name":"Logical Methods in Computer Science e.V.","host_organization_lineage":["https://openalex.org/P4310313916"],"host_organization_lineage_names":["Logical Methods in Computer Science e.V."],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Logical Methods in Computer Science","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1282499391","display_name":null,"funder_award_id":"100098198","funder_id":"https://openalex.org/F4320338080","funder_display_name":"European Social Fund"},{"id":"https://openalex.org/G3260240819","display_name":null,"funder_award_id":"2.4545","funder_id":"https://openalex.org/F4320321390","funder_display_name":"Fonds De La Recherche Scientifique - FNRS"},{"id":"https://openalex.org/G6958986694","display_name":null,"funder_award_id":"EP/D063191/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G7240651115","display_name":null,"funder_award_id":"ANR-10","funder_id":"https://openalex.org/F4320320883","funder_display_name":"Agence Nationale de la Recherche"},{"id":"https://openalex.org/G7820958171","display_name":"Implementabilty and Robustness of Timed Systems","funder_award_id":"ANR-10-BLAN-0317","funder_id":"https://openalex.org/F4320320883","funder_display_name":"Agence Nationale de la Recherche"}],"funders":[{"id":"https://openalex.org/F4320320879","display_name":"Deutsche Forschungsgemeinschaft","ror":"https://ror.org/018mejw64"},{"id":"https://openalex.org/F4320320883","display_name":"Agence Nationale de la Recherche","ror":"https://ror.org/00rbzpz17"},{"id":"https://openalex.org/F4320321390","display_name":"Fonds De La Recherche Scientifique - FNRS","ror":"https://ror.org/03q83t159"},{"id":"https://openalex.org/F4320334627","display_name":"Engineering and Physical Sciences Research Council","ror":"https://ror.org/0439y7842"},{"id":"https://openalex.org/F4320334840","display_name":"Fonds pour la Formation \u00e0 la Recherche dans l\u2019Industrie et dans l\u2019Agriculture","ror":"https://ror.org/03q83t159"},{"id":"https://openalex.org/F4320338080","display_name":"European Social Fund","ror":"https://ror.org/00k4n6c32"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W143370938.pdf","grobid_xml":"https://content.openalex.org/works/W143370938.grobid-xml"},"referenced_works_count":49,"referenced_works":["https://openalex.org/W59365162","https://openalex.org/W106209860","https://openalex.org/W156147126","https://openalex.org/W1482244486","https://openalex.org/W1496392897","https://openalex.org/W1499790443","https://openalex.org/W1505738311","https://openalex.org/W1507893864","https://openalex.org/W1548132545","https://openalex.org/W1560508321","https://openalex.org/W1567854714","https://openalex.org/W1573865009","https://openalex.org/W1577761978","https://openalex.org/W1584555738","https://openalex.org/W1606824214","https://openalex.org/W1862398452","https://openalex.org/W1969553191","https://openalex.org/W1990609140","https://openalex.org/W1993279256","https://openalex.org/W2009280542","https://openalex.org/W2018908462","https://openalex.org/W2023808162","https://openalex.org/W2031796182","https://openalex.org/W2041226400","https://openalex.org/W2047386147","https://openalex.org/W2056099894","https://openalex.org/W2057980886","https://openalex.org/W2080316200","https://openalex.org/W2093468548","https://openalex.org/W2098000194","https://openalex.org/W2114671730","https://openalex.org/W2118912801","https://openalex.org/W2123384876","https://openalex.org/W2126748297","https://openalex.org/W2138721587","https://openalex.org/W2141881497","https://openalex.org/W2152523762","https://openalex.org/W2165161585","https://openalex.org/W2172175633","https://openalex.org/W2242084152","https://openalex.org/W2337623929","https://openalex.org/W2497040858","https://openalex.org/W2752885492","https://openalex.org/W3046973101","https://openalex.org/W3103183526","https://openalex.org/W4230164823","https://openalex.org/W4245606633","https://openalex.org/W4246219036","https://openalex.org/W4298443330"],"related_works":["https://openalex.org/W2026879508","https://openalex.org/W2155870982","https://openalex.org/W2042728676","https://openalex.org/W186350370","https://openalex.org/W2139519154","https://openalex.org/W2143754769","https://openalex.org/W3135656023","https://openalex.org/W2408583837","https://openalex.org/W2010706856","https://openalex.org/W9554130"],"abstract_inverted_index":{"A":[0,40,50],"stochastic":[1,7,37],"timed":[2,12,38,155],"automaton":[3,39],"is":[4,119],"a":[5,11,36,42,81,92],"purely":[6],"process":[8],"defined":[9],"on":[10,77,154],"automaton,":[13],"in":[14,137],"which":[15,69,98,116],"both":[16],"delays":[17],"and":[18,41,65,96,131,145],"discrete":[19],"choices":[20],"are":[21,113],"made":[22],"randomly.":[23],"We":[24],"study":[25],"the":[26,78,85,102,108,120],"almost-sure":[27,103],"model-checking":[28,104],"problem":[29],"for":[30,68,97,122],"this":[31,57,70,138],"model,":[32],"that":[33,88],"is,":[34],"given":[35],"property":[43],"$\\Phi$,":[44],"we":[45,59,89,99,117],"want":[46],"to":[47],"decide":[48,101],"whether":[49],"satisfies":[51],"$\\Phi$":[52],"with":[53],"probability":[54],"1.":[55],"In":[56],"paper,":[58],"identify":[60],"several":[61],"classes":[62,125],"of":[63,66,80,107,126],"automata":[64,112,130],"properties":[67],"can":[71,100],"be":[72],"decided.":[73],"The":[74],"proof":[75],"relies":[76],"construction":[79],"finite":[82,93],"abstraction,":[83],"called":[84],"thick":[86],"graph,":[87],"interpret":[90],"as":[91,148,150],"Markov":[94],"chain,":[95],"problem.":[105],"Correctness":[106],"abstraction":[109],"holds":[110],"when":[111],"almost-surely":[114],"fair,":[115],"show,":[118],"case":[121],"two":[123],"large":[124],"systems,":[127],"single-":[128],"clock":[129],"so-called":[132],"weak-reactive":[133],"automata.":[134,156],"Techniques":[135],"employed":[136],"article":[139],"gather":[140],"tools":[141],"from":[142],"real-time":[143],"verification":[144],"probabilistic":[146],"verification,":[147],"well":[149],"topological":[151],"games":[152],"played":[153]},"counts_by_year":[{"year":2025,"cited_by_count":8},{"year":2024,"cited_by_count":6},{"year":2023,"cited_by_count":5},{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":8},{"year":2020,"cited_by_count":7},{"year":2019,"cited_by_count":5},{"year":2018,"cited_by_count":6},{"year":2016,"cited_by_count":4},{"year":2014,"cited_by_count":1}],"updated_date":"2026-08-26T07:47:46.906454","created_date":"2025-10-10T00:00:00"}