{"id":"https://openalex.org/W4403305629","doi":"https://doi.org/10.46298/lmcs-20(4:1)2024","title":"History-deterministic Timed Automata","display_name":"History-deterministic Timed Automata","publication_year":2024,"publication_date":"2024-10-02","ids":{"openalex":"https://openalex.org/W4403305629","doi":"https://doi.org/10.46298/lmcs-20(4:1)2024"},"language":"en","primary_location":{"id":"doi:10.46298/lmcs-20(4:1)2024","is_oa":true,"landing_page_url":"https://lmcs.episciences.org/14429/pdf","pdf_url":"https://lmcs.episciences.org/14429/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":["crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://lmcs.episciences.org/14429/pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5004478118","display_name":"Sougata Bose","orcid":"https://orcid.org/0000-0003-3662-3915"},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Sougata Bose","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5048020674","display_name":"Thomas A. Henzinger","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Thomas A. Henzinger","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5039866284","display_name":"Karoliina Lehtinen","orcid":"https://orcid.org/0000-0003-1171-8790"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Karoliina Lehtinen","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5041836791","display_name":"Sven Schewe","orcid":"https://orcid.org/0000-0002-9093-9518"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Sven Schewe","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5060577776","display_name":"Patrick Totzke","orcid":"https://orcid.org/0000-0001-5274-8190"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Patrick Totzke","raw_affiliation_strings":[],"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5004478118"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.3547,"has_fulltext":true,"cited_by_count":1,"citation_normalized_percentile":{"value":0.64552911,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":91,"max":95},"biblio":{"volume":"Volume 20, 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/T11567","display_name":"semigroups and automata theory","score":0.9980000257492065,"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/T11567","display_name":"semigroups and automata theory","score":0.9980000257492065,"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/T10142","display_name":"Formal Methods in Verification","score":0.9976000189781189,"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.9891999959945679,"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/computer-science","display_name":"Computer science","score":0.7186132669448853},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.6778679490089417},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4522382616996765},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.40679019689559937}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7186132669448853},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.6778679490089417},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4522382616996765},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.40679019689559937}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.46298/lmcs-20(4:1)2024","is_oa":true,"landing_page_url":"https://lmcs.episciences.org/14429/pdf","pdf_url":"https://lmcs.episciences.org/14429/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:HAL:hal-04271355v1","is_oa":true,"landing_page_url":"https://hal.science/hal-04271355","pdf_url":"https://hal.science/hal-04271355v1/document","source":{"id":"https://openalex.org/S4406922393","display_name":"HAL AMU","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":"Logical Methods in Computer Science, 2024, Logical Methods in Computer Science, Volume 20, Issue 4, ⟨10.46298/LMCS-20(4:1)2024⟩","raw_type":"Journal articles"},{"id":"pmh:oai:doaj.org/article:f58a2f6a6410482f96727f85c8f467c0","is_oa":true,"landing_page_url":"https://doaj.org/article/f58a2f6a6410482f96727f85c8f467c0","pdf_url":null,"source":{"id":"https://openalex.org/S112646816","display_name":"SHILAP Revista de lepidopterolog\u00eda","issn_l":"0300-5267","issn":["0300-5267","2340-4078"],"is_oa":true,"is_in_doaj":true,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Logical Methods in Computer Science, Vol Volume 20, Issue 4 (2024)","raw_type":"article"}],"best_oa_location":{"id":"doi:10.46298/lmcs-20(4:1)2024","is_oa":true,"landing_page_url":"https://lmcs.episciences.org/14429/pdf","pdf_url":"https://lmcs.episciences.org/14429/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":[{"display_name":"Reduced inequalities","score":0.8199999928474426,"id":"https://metadata.un.org/sdg/10"}],"awards":[{"id":"https://openalex.org/G1170451441","display_name":"Below the Branches of Universal Trees","funder_award_id":"EP/X017796/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G1928332608","display_name":"COSTRA -- The Cost of Winning Strategies","funder_award_id":"EP/V025848/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G4313942165","display_name":"Games for Good","funder_award_id":"EP/X042596/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G4497834054","display_name":null,"funder_award_id":"EP/X042596/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G4683697052","display_name":"TRUSTED: SecuriTy SummaRies for SecUre SofTwarE Development","funder_award_id":"EP/X03688X/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G5009292347","display_name":null,"funder_award_id":"EP/V025848/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G655446035","display_name":null,"funder_award_id":"EP/X017796/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G7553838803","display_name":null,"funder_award_id":"EP/X03688X/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G8452545418","display_name":null,"funder_award_id":"unknown","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"}],"funders":[{"id":"https://openalex.org/F4320320883","display_name":"Agence Nationale de la Recherche","ror":"https://ror.org/00rbzpz17"},{"id":"https://openalex.org/F4320334627","display_name":"Engineering and Physical Sciences Research Council","ror":"https://ror.org/0439y7842"}],"has_content":{"grobid_xml":false,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4403305629.pdf"},"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W2358668433","https://openalex.org/W4396701345","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W4396696052","https://openalex.org/W4402327032","https://openalex.org/W2124122503"],"abstract_inverted_index":{"We":[0,60],"explore":[1],"the":[2,7,29,33,63,127],"notion":[3],"of":[4,9,65,76,129],"history-determinism":[5],"in":[6,22,83],"context":[8],"timed":[10,15,66,71,92,115],"automata":[11,19,72,93],"(TA)":[12],"over":[13],"infinite":[14],"words.":[16],"History-deterministic":[17],"(HD)":[18],"are":[20,124],"those":[21,84],"which":[23],"nondeterminism":[24],"can":[25,137,150],"be":[26],"resolved":[27],"on":[28,32],"fly,":[30],"based":[31],"run":[34],"constructed":[35],"thus":[36],"far.":[37],"History-determinism":[38],"is":[39,80,95,99,145],"a":[40],"robust":[41],"property":[42],"that":[43,62,75,97,114],"admits":[44],"different":[45],"game-based":[46,53],"characterisations,":[47],"and":[48,79,118,123],"HD":[49,70],"specifications":[50],"allow":[51],"for":[52,102],"verification":[54],"without":[55,153],"an":[56,143],"expensive":[57],"determinization":[58],"step.":[59],"show":[61,113],"class":[64],"$\\omega$-languages":[67],"recognized":[68],"by":[69,86],"strictly":[73,81],"extends":[74],"deterministic":[77],"ones,":[78],"included":[82],"recognised":[85],"fully":[87],"non-deterministic":[88,91],"TA.":[89,104],"For":[90,105,126],"it":[94,149],"known":[96],"universality":[98],"already":[100],"undecidable":[101],"safety/reachability":[103],"history-deterministic":[106],"TA":[107,130],"with":[108,131],"arbitrary":[109],"parity":[110],"acceptance,":[111,135],"we":[112],"universality,":[116],"inclusion,":[117],"synthesis":[119],"all":[120],"remain":[121],"decidable":[122],"EXPTIME-complete.":[125],"subclass":[128],"safety":[132],"or":[133],"reachability":[134],"one":[136],"decide":[138],"(in":[139],"EXPTIME)":[140],"whether":[141],"such":[142],"automaton":[144,156],"history-deterministic.":[146],"If":[147],"so,":[148],"effectively":[151],"determinized":[152],"introducing":[154],"new":[155],"states.":[157]},"counts_by_year":[{"year":2025,"cited_by_count":1}],"updated_date":"2026-04-10T15:06:20.359241","created_date":"2025-10-10T00:00:00"}