{"id":"https://openalex.org/W4393943462","doi":"https://doi.org/10.1007/978-3-031-57249-4_13","title":"CTMCs with Imprecisely Timed Observations","display_name":"CTMCs with Imprecisely Timed Observations","publication_year":2024,"publication_date":"2024-01-01","ids":{"openalex":"https://openalex.org/W4393943462","doi":"https://doi.org/10.1007/978-3-031-57249-4_13"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-031-57249-4_13","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-031-57249-4_13","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-031-57249-4_13.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"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":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"book-chapter","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://link.springer.com/content/pdf/10.1007/978-3-031-57249-4_13.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5073020318","display_name":"Thom Badings","orcid":"https://orcid.org/0000-0002-5235-1967"},"institutions":[{"id":"https://openalex.org/I145872427","display_name":"Radboud University Nijmegen","ror":"https://ror.org/016xsfp80","country_code":"NL","type":"education","lineage":["https://openalex.org/I145872427"]}],"countries":["NL"],"is_corresponding":true,"raw_author_name":"Thom Badings","raw_affiliation_strings":["Radboud University, Nijmegen, the Netherlands"],"affiliations":[{"raw_affiliation_string":"Radboud University, Nijmegen, the Netherlands","institution_ids":["https://openalex.org/I145872427"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5059396331","display_name":"Matthias Volk","orcid":"https://orcid.org/0000-0002-3810-4185"},"institutions":[{"id":"https://openalex.org/I83019370","display_name":"Eindhoven University of Technology","ror":"https://ror.org/02c2kyt77","country_code":"NL","type":"education","lineage":["https://openalex.org/I83019370"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Matthias Volk","raw_affiliation_strings":["Eindhoven University of Technology, Eindhoven, the Netherlands"],"affiliations":[{"raw_affiliation_string":"Eindhoven University of Technology, Eindhoven, the Netherlands","institution_ids":["https://openalex.org/I83019370"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5018941708","display_name":"Sebastian Junges","orcid":"https://orcid.org/0000-0003-0978-8466"},"institutions":[{"id":"https://openalex.org/I145872427","display_name":"Radboud University Nijmegen","ror":"https://ror.org/016xsfp80","country_code":"NL","type":"education","lineage":["https://openalex.org/I145872427"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Sebastian Junges","raw_affiliation_strings":["Radboud University, Nijmegen, the Netherlands"],"affiliations":[{"raw_affiliation_string":"Radboud University, Nijmegen, the Netherlands","institution_ids":["https://openalex.org/I145872427"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5053065289","display_name":"Mari\u00eblle Stoelinga","orcid":"https://orcid.org/0000-0001-6793-8165"},"institutions":[{"id":"https://openalex.org/I145872427","display_name":"Radboud University Nijmegen","ror":"https://ror.org/016xsfp80","country_code":"NL","type":"education","lineage":["https://openalex.org/I145872427"]},{"id":"https://openalex.org/I94624287","display_name":"University of Twente","ror":"https://ror.org/006hf6230","country_code":"NL","type":"education","lineage":["https://openalex.org/I94624287"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Marielle Stoelinga","raw_affiliation_strings":["Radboud University, Nijmegen, the Netherlands","University of Twente, Enschede, the Netherlands"],"affiliations":[{"raw_affiliation_string":"Radboud University, Nijmegen, the Netherlands","institution_ids":["https://openalex.org/I145872427"]},{"raw_affiliation_string":"University of Twente, Enschede, the Netherlands","institution_ids":["https://openalex.org/I94624287"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5012669709","display_name":"Nils Jansen","orcid":"https://orcid.org/0000-0003-1318-8973"},"institutions":[{"id":"https://openalex.org/I145872427","display_name":"Radboud University Nijmegen","ror":"https://ror.org/016xsfp80","country_code":"NL","type":"education","lineage":["https://openalex.org/I145872427"]},{"id":"https://openalex.org/I904495901","display_name":"Ruhr University Bochum","ror":"https://ror.org/04tsk2644","country_code":"DE","type":"education","lineage":["https://openalex.org/I904495901"]}],"countries":["DE","NL"],"is_corresponding":false,"raw_author_name":"Nils Jansen","raw_affiliation_strings":["Radboud University, Nijmegen, the Netherlands","Ruhr-University Bochum, Bochum, Germany"],"affiliations":[{"raw_affiliation_string":"Radboud University, Nijmegen, the Netherlands","institution_ids":["https://openalex.org/I145872427"]},{"raw_affiliation_string":"Ruhr-University Bochum, Bochum, Germany","institution_ids":["https://openalex.org/I904495901"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5073020318"],"corresponding_institution_ids":["https://openalex.org/I145872427"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":{"value":5000,"currency":"EUR","value_usd":5392},"fwci":1.5907,"has_fulltext":true,"cited_by_count":1,"citation_normalized_percentile":{"value":0.78354799,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":91,"max":95},"biblio":{"volume":null,"issue":null,"first_page":"258","last_page":"278"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11125","display_name":"Petri Nets in System Modeling","score":0.9922999739646912,"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/T11125","display_name":"Petri Nets in System Modeling","score":0.9922999739646912,"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/T12072","display_name":"Machine Learning and Algorithms","score":0.9815999865531921,"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/T10876","display_name":"Fault Detection and Control Systems","score":0.9649999737739563,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"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/computer-science","display_name":"Computer science","score":0.8525348901748657},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.41164708137512207}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8525348901748657},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.41164708137512207}],"mesh":[],"locations_count":5,"locations":[{"id":"doi:10.1007/978-3-031-57249-4_13","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-031-57249-4_13","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-031-57249-4_13.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"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":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},{"id":"pmh:oai:pure.tue.nl:publications/21b17437-e39c-4942-828e-5dfc7039079a","is_oa":true,"landing_page_url":"https://research.tue.nl/en/publications/21b17437-e39c-4942-828e-5dfc7039079a","pdf_url":"https://pure.tue.nl/ws/files/349913480/978-3-031-57249-4_13.pdf","source":{"id":"https://openalex.org/S4406922641","display_name":"TU/e Research Portal","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","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Badings, T, Volk, M, Junges, S, Stoelinga, M & Jansen, N 2024, CTMCs with Imprecisely Timed Observations. in B Finkbeiner & L Kov\u00e1cs (eds), Tools and Algorithms for the Construction and Analysis of Systems : 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6\u201311, 2024, Proceedings, Part II. Lecture Notes in Computer Science (LNCS), vol. 14571, Springer, Cham, pp. 258-278, 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2024, which was held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, 6/04/24. https://doi.org/10.1007/978-3-031-57249-4_13","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:repository.ubn.ru.nl:2066/306306","is_oa":true,"landing_page_url":"https://hdl.handle.net/2066/306306","pdf_url":"https://repository.ubn.ru.nl//bitstream/handle/2066/306306/306306.pdf","source":{"id":"https://openalex.org/S4306401067","display_name":"Radboud Repository (Radboud University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I145872427","host_organization_name":"Radboud University Nijmegen","host_organization_lineage":["https://openalex.org/I145872427"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Article in monograph or in proceedings"},{"id":"pmh:oai:ris.utwente.nl:publications/6c4f294f-b31c-43b5-87b8-87edcbbbd859","is_oa":true,"landing_page_url":"https://research.utwente.nl/en/publications/6c4f294f-b31c-43b5-87b8-87edcbbbd859","pdf_url":"https://ris.utwente.nl/ws/files/363242054/978-3-031-57249-4_13.pdf","source":{"id":"https://openalex.org/S4406922991","display_name":"University of Twente Research Information","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","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Badings, T, Volk, M, Junges, S, Stoelinga, M & Jansen, N 2024, CTMCs with Imprecisely Timed Observations. in B Finkbeiner & L Kov\u00e1cs (eds), Tools and Algorithms for the Construction and Analysis of Systems : 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6\u201311, 2024, Proceedings, Part II. Springer, pp. 258-278, 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2024, Luxembourg City, Luxembourg, 6/04/24. https://doi.org/10.1007/978-3-031-57249-4_13","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:ris.utwente.nl:openaire/6c4f294f-b31c-43b5-87b8-87edcbbbd859","is_oa":true,"landing_page_url":"https://research.utwente.nl/files/363242054/978-3-031-57249-4_13.pdf","pdf_url":null,"source":{"id":"https://openalex.org/S4406922991","display_name":"University of Twente Research Information","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","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Badings, T, Volk, M, Junges, S, Stoelinga, M & Jansen, N 2024, CTMCs with Imprecisely Timed Observations. in B Finkbeiner & L Kov\u00e1cs (eds), Tools and Algorithms for the Construction and Analysis of Systems : 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6\u201311, 2024, Proceedings, Part II. Springer, pp. 258-278, 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2024, Luxembourg City, Luxembourg, 6/04/24. https://doi.org/10.1007/978-3-031-57249-4_13","raw_type":"info:eu-repo/semantics/publishedVersion"}],"best_oa_location":{"id":"doi:10.1007/978-3-031-57249-4_13","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-031-57249-4_13","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-031-57249-4_13.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"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":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"sustainable_development_goals":[{"score":0.800000011920929,"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions"}],"awards":[{"id":"https://openalex.org/G2039356335","display_name":null,"funder_award_id":"1160.18.238","funder_id":"https://openalex.org/F4320321800","funder_display_name":"Nederlandse Organisatie voor Wetenschappelijk Onderzoek"},{"id":"https://openalex.org/G3914140545","display_name":null,"funder_award_id":"160.18.238","funder_id":"https://openalex.org/F4320321800","funder_display_name":"Nederlandse Organisatie voor Wetenschappelijk Onderzoek"},{"id":"https://openalex.org/G4371345817","display_name":null,"funder_award_id":"NWA.1160.18.238","funder_id":"https://openalex.org/F4320321800","funder_display_name":"Nederlandse Organisatie voor Wetenschappelijk Onderzoek"},{"id":"https://openalex.org/G5365867299","display_name":null,"funder_award_id":"Grant","funder_id":"https://openalex.org/F4320321800","funder_display_name":"Nederlandse Organisatie voor Wetenschappelijk Onderzoek"},{"id":"https://openalex.org/G6009445997","display_name":null,"funder_award_id":"unknown","funder_id":"https://openalex.org/F4320321800","funder_display_name":"Nederlandse Organisatie voor Wetenschappelijk Onderzoek"}],"funders":[{"id":"https://openalex.org/F4320321800","display_name":"Nederlandse Organisatie voor Wetenschappelijk Onderzoek","ror":"https://ror.org/04jsz6e67"}],"has_content":{"grobid_xml":false,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4393943462.pdf"},"referenced_works_count":49,"referenced_works":["https://openalex.org/W225106791","https://openalex.org/W1481528147","https://openalex.org/W1773627017","https://openalex.org/W1943907022","https://openalex.org/W1965878388","https://openalex.org/W1980537979","https://openalex.org/W1988217924","https://openalex.org/W2012907054","https://openalex.org/W2041226400","https://openalex.org/W2052092737","https://openalex.org/W2098597080","https://openalex.org/W2118184521","https://openalex.org/W2118744069","https://openalex.org/W2121167614","https://openalex.org/W2121337044","https://openalex.org/W2125500714","https://openalex.org/W2135344975","https://openalex.org/W2140739703","https://openalex.org/W2141881497","https://openalex.org/W2157807654","https://openalex.org/W2158503535","https://openalex.org/W2160106881","https://openalex.org/W2168565265","https://openalex.org/W2334782222","https://openalex.org/W2471687730","https://openalex.org/W2527393991","https://openalex.org/W2785700716","https://openalex.org/W2796919988","https://openalex.org/W2801154722","https://openalex.org/W2804728961","https://openalex.org/W2884771291","https://openalex.org/W2911662400","https://openalex.org/W2914149546","https://openalex.org/W2964179600","https://openalex.org/W2967277443","https://openalex.org/W3019187101","https://openalex.org/W3125855560","https://openalex.org/W3160709386","https://openalex.org/W3179132544","https://openalex.org/W3184761245","https://openalex.org/W3185435504","https://openalex.org/W3195444073","https://openalex.org/W4205130185","https://openalex.org/W4289874404","https://openalex.org/W4317716378","https://openalex.org/W4320018397","https://openalex.org/W4366721447","https://openalex.org/W4382318213","https://openalex.org/W4390897755"],"related_works":["https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W2358668433","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W2382290278","https://openalex.org/W2478288626","https://openalex.org/W4391913857","https://openalex.org/W2350741829","https://openalex.org/W2530322880"],"abstract_inverted_index":{"Abstract":[0],"Labeled":[1],"continuous-time":[2],"Markov":[3,96],"chains":[4],"(CTMCs)":[5],"describe":[6],"processes":[7],"subject":[8],"to":[9,58,145,167],"random":[10],"timing":[11,27,103],"and":[12,118,139,163],"partial":[13],"observability.":[14],"In":[15],"applications":[16],"such":[17],"as":[18,94],"runtime":[19],"monitoring,":[20],"we":[21,37,43,63,128],"must":[22],"incorporate":[23],"past":[24],"observations.":[25],"The":[26,55],"of":[28,48,156],"these":[29],"observations":[30],"matters":[31],"but":[32],"may":[33],"be":[34],"uncertain.":[35],"Thus,":[36,127],"consider":[38],"a":[39,46,72,95,110,123,134],"setting":[40],"in":[41,100,120,149],"which":[42,62,101],"are":[44],"given":[45],"sequence":[47],"imprecisely":[49],"timed":[50],"labels":[51],"called":[52],"the":[53,80,88,105,130,150,154,170],"evidence.":[54,67,89],"problem":[56,77],"is":[57,71,107],"compute":[59],"reachability":[60],"probabilities,":[61],"condition":[64],"on":[65,159],"this":[66,76,92],"Our":[68],"key":[69,165],"contribution":[70],"method":[73,158],"that":[74],"solves":[75],"by":[78,109],"unfolding":[79,93],"CTMC":[81],"states":[82,117],"over":[83],"all":[84],"possible":[85],"timings":[86],"for":[87,104],"We":[90,152],"formalize":[91],"decision":[97],"process":[98],"(MDP)":[99],"each":[102],"evidence":[106],"reflected":[108],"scheduler.":[111],"This":[112],"MDP":[113,132,137],"has":[114],"infinitely":[115],"many":[116],"actions":[119],"general,":[121],"making":[122],"direct":[124],"analysis":[125],"infeasible.":[126],"abstract":[129],"continuous":[131],"into":[133],"finite":[135],"interval":[136],"(iMDP)":[138],"develop":[140],"an":[141],"iterative":[142],"refinement":[143],"scheme":[144],"upper-bound":[146],"conditional":[147],"probabilities":[148],"CTMC.":[151],"show":[153],"feasibility":[155],"our":[157],"several":[160],"numerical":[161],"benchmarks":[162],"discuss":[164],"challenges":[166],"further":[168],"enhance":[169],"performance.":[171]},"counts_by_year":[{"year":2025,"cited_by_count":1}],"updated_date":"2026-04-10T15:06:20.359241","created_date":"2025-10-10T00:00:00"}