{"id":"https://openalex.org/W7128729009","doi":"https://doi.org/10.48448/cyak-fh63","title":"Temporal Properties of Conditional Independence in Dynamic Bayesian Networks","display_name":"Temporal Properties of Conditional Independence in Dynamic Bayesian Networks","publication_year":2026,"publication_date":"2026-01-07","ids":{"openalex":"https://openalex.org/W7128729009","doi":"https://doi.org/10.48448/cyak-fh63"},"language":"en","primary_location":{"id":"doi:10.48448/cyak-fh63","doi":"https://doi.org/10.48448/cyak-fh63","is_oa":true,"landing_page_url":"https://doi.org/10.48448/cyak-fh63","pdf_url":null,"source":{"id":"https://openalex.org/S7407053148","display_name":"Underline Science Inc.","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Audiovisual"},"volume":null,"type":"other","is_traditional":false,"indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.48448/cyak-fh63","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5125741655","display_name":"Association for Artificial Intelligence 2026","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Association for Artificial Intelligence 2026","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5096169599","display_name":"Rajab Aghamov","orcid":"https://orcid.org/0000-0001-8770-3523","observed_orcids":["https://orcid.org/0000-0001-8770-3523"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Aghamov, Rajab","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5091344667","display_name":"Christel Baier","orcid":"https://orcid.org/0000-0002-5321-9343","observed_orcids":["https://orcid.org/0000-0002-5321-9343"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Baier, Christel","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5045412407","display_name":"Jo\u00ebl Ouaknine","orcid":"https://orcid.org/0000-0003-0031-9356","observed_orcids":["https://orcid.org/0000-0003-0031-9356"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Ouaknine, Jo\u00ebl","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5035546736","display_name":"Jakob Piribauer","orcid":"https://orcid.org/0000-0003-4829-0476","observed_orcids":["https://orcid.org/0000-0003-4829-0476"]},"institutions":[{"id":"https://openalex.org/I78650965","display_name":"Technische Universit\u00e4t Dresden","ror":"https://ror.org/042aqky30","country_code":"DE","type":"education","lineage":["https://openalex.org/I78650965"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Piribauer, Jakob","raw_affiliation_strings":["Dresden University of Technology"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Dresden University of Technology","institution_ids":["https://openalex.org/I78650965"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5088140140","display_name":"Mihir Vahanwala","orcid":"https://orcid.org/0009-0008-5709-899X","observed_orcids":["https://orcid.org/0009-0008-5709-899X"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Vahanwala, Mihir","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5022262286","display_name":"Isa Vialard","orcid":"https://orcid.org/0000-0002-7261-9342","observed_orcids":["https://orcid.org/0000-0002-7261-9342"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Vialard, Isa","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"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.5,"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.5,"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/T11303","display_name":"Bayesian Modeling and Causal Inference","score":0.36570000648498535,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.11500000208616257,"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/dynamic-bayesian-networks","display_name":"dynamic Bayesian networks","score":0.9909999966621399},{"id":"https://openalex.org/keywords/conditional-independence","display_name":"conditional independence","score":0.9959999918937683},{"id":"https://openalex.org/keywords/temporal-logic","display_name":"temporal logic","score":0.7429999709129333},{"id":"https://openalex.org/keywords/linear-temporal-logic","display_name":"linear temporal logic","score":0.7950000166893005},{"id":"https://openalex.org/keywords/nondeterministic-buchi-automata","display_name":"nondeterministic B\u00fcchi automata","score":0.9309999942779541},{"id":"https://openalex.org/keywords/model-checking","display_name":"model checking","score":0.5809999704360962},{"id":"https://openalex.org/keywords/skolem-problem","display_name":"Skolem problem","score":0.8360000252723694},{"id":"https://openalex.org/keywords/computational-complexity","display_name":"computational complexity","score":0.7149999737739563},{"id":"https://openalex.org/keywords/pspace","display_name":"PSPACE","score":0.6840000152587891},{"id":"https://openalex.org/keywords/graphical-structure","display_name":"graphical structure","score":0.6060000061988831}],"concepts":[{"id":"https://openalex.org/C155846161","wikidata":"https://www.wikidata.org/wiki/Q1143367","display_name":"Graphical model","level":2,"score":0.7324000000953674},{"id":"https://openalex.org/C79772020","wikidata":"https://www.wikidata.org/wiki/Q5159264","display_name":"Conditional independence","level":2,"score":0.5878999829292297},{"id":"https://openalex.org/C171018156","wikidata":"https://www.wikidata.org/wiki/Q7370306","display_name":"Rotation formalisms in three dimensions","level":2,"score":0.5561000108718872},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.5343999862670898},{"id":"https://openalex.org/C33724603","wikidata":"https://www.wikidata.org/wiki/Q812540","display_name":"Bayesian network","level":2,"score":0.526199996471405},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4781000018119812},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.46950000524520874},{"id":"https://openalex.org/C25016198","wikidata":"https://www.wikidata.org/wiki/Q781833","display_name":"Temporal logic","level":2,"score":0.44670000672340393},{"id":"https://openalex.org/C4777664","wikidata":"https://www.wikidata.org/wiki/Q1536492","display_name":"Linear temporal logic","level":2,"score":0.42660000920295715},{"id":"https://openalex.org/C107673813","wikidata":"https://www.wikidata.org/wiki/Q812534","display_name":"Bayesian probability","level":2,"score":0.41110000014305115},{"id":"https://openalex.org/C198008173","wikidata":"https://www.wikidata.org/wiki/Q1040040","display_name":"Computation tree logic","level":3,"score":0.39640000462532043},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.39160001277923584},{"id":"https://openalex.org/C2777152325","wikidata":"https://www.wikidata.org/wiki/Q108163","display_name":"Proposition","level":2,"score":0.38839998841285706},{"id":"https://openalex.org/C44492722","wikidata":"https://www.wikidata.org/wiki/Q327069","display_name":"Conditional probability","level":2,"score":0.37389999628067017},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.3506999909877777},{"id":"https://openalex.org/C35651441","wikidata":"https://www.wikidata.org/wiki/Q625303","display_name":"Independence (probability theory)","level":2,"score":0.3499000072479248},{"id":"https://openalex.org/C82142266","wikidata":"https://www.wikidata.org/wiki/Q3456604","display_name":"Dynamic Bayesian network","level":3,"score":0.3449000120162964},{"id":"https://openalex.org/C122123141","wikidata":"https://www.wikidata.org/wiki/Q176623","display_name":"Random variable","level":2,"score":0.34060001373291016},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.33820000290870667},{"id":"https://openalex.org/C52063229","wikidata":"https://www.wikidata.org/wiki/Q7246845","display_name":"Probabilistic CTL","level":4,"score":0.328900009393692},{"id":"https://openalex.org/C149441793","wikidata":"https://www.wikidata.org/wiki/Q200726","display_name":"Probability distribution","level":2,"score":0.3280999958515167},{"id":"https://openalex.org/C20837028","wikidata":"https://www.wikidata.org/wiki/Q623966","display_name":"Influence diagram","level":3,"score":0.304500013589859},{"id":"https://openalex.org/C43555835","wikidata":"https://www.wikidata.org/wiki/Q2300258","display_name":"Conditional probability distribution","level":2,"score":0.2955999970436096},{"id":"https://openalex.org/C18653775","wikidata":"https://www.wikidata.org/wiki/Q1333358","display_name":"Joint probability distribution","level":2,"score":0.2815999984741211},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.2732999920845032},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.2705000042915344},{"id":"https://openalex.org/C91229774","wikidata":"https://www.wikidata.org/wiki/Q193885","display_name":"Infinitesimal","level":2,"score":0.26589998602867126},{"id":"https://openalex.org/C130648207","wikidata":"https://www.wikidata.org/wiki/Q6007562","display_name":"Imprecise probability","level":3,"score":0.2513999938964844}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48448/cyak-fh63","doi":"https://doi.org/10.48448/cyak-fh63","is_oa":true,"landing_page_url":"https://doi.org/10.48448/cyak-fh63","pdf_url":null,"source":{"id":"https://openalex.org/S7407053148","display_name":"Underline Science Inc.","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Audiovisual"}],"best_oa_location":{"id":"doi:10.48448/cyak-fh63","doi":"https://doi.org/10.48448/cyak-fh63","is_oa":true,"landing_page_url":"https://doi.org/10.48448/cyak-fh63","pdf_url":null,"source":{"id":"https://openalex.org/S7407053148","display_name":"Underline Science Inc.","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Audiovisual"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W2207154365","https://openalex.org/W7097188289","https://openalex.org/W10984442","https://openalex.org/W4247530850","https://openalex.org/W2558765880","https://openalex.org/W262381932","https://openalex.org/W2248443079","https://openalex.org/W7097477868","https://openalex.org/W2514326591","https://openalex.org/W4252591398"],"abstract_inverted_index":{"Dynamic":[0],"Bayesian":[1],"networks":[2],"(DBNs)":[3],"are":[4,81],"compact":[5],"graphical":[6,88,163],"representations":[7],"used":[8],"to":[9],"model":[10],"probabilistic":[11],"systems":[12],"where":[13],"interdependent":[14],"random":[15],"variables":[16],"and":[17,56,142,148,154],"their":[18],"distributions":[19,74],"evolve":[20],"over":[21,49],"time.":[22],"In":[23],"this":[24,42],"paper,":[25],"we":[26,44,130],"study":[27],"the":[28,31,70,87,91,110,127,134,162,166,170],"verification":[29,171],"of":[30,33,86,90,136,165,172],"evolution":[32,135],"conditional-independence":[34],"(CI)":[35],"propositions":[36,139],"against":[37,140],"temporal":[38,53],"logic":[39,54],"specifications.":[40],"To":[41],"end,":[43],"consider":[45],"two":[46,64],"specification":[47],"formalisms":[48],"CI":[50,67,79,100,138,174],"propositions:":[51],"linear":[52,114],"(LTL),":[55],"non-deterministic":[57],"B\u00fcchi":[58],"automata":[59],"(NBAs).":[60],"This":[61],"problem":[62,112,122],"has":[63],"variants.":[65],"Stochastic":[66],"properties":[68,80,175],"take":[69],"given":[71],"concrete":[72],"probability":[73],"into":[75],"account,":[76],"while":[77],"structural":[78,137,173],"viewed":[82],"purely":[83],"in":[84,123,146],"terms":[85],"structure":[89,164],"DBN.":[92],"We":[93,156],"show":[94,131],"that":[95,132,168],"deciding":[96],"whether":[97],"a":[98,119],"stochastic":[99],"proposition":[101],"eventually":[102],"holds":[103],"is":[104,118,145,149],"at":[105],"least":[106],"as":[107,109],"hard":[108,150],"Skolem":[111],"for":[113,151],"recurrence":[115],"sequences,":[116],"which":[117],"long-standing":[120],"open":[121],"number":[124],"theory.":[125],"On":[126],"other":[128],"hand,":[129],"verifying":[133],"LTL":[141],"NBA":[143],"specifications":[144],"PSPACE,":[147],"both":[152],"NP":[153],"coNP.":[155],"also":[157],"identify":[158],"natural":[159],"restrictions":[160],"on":[161],"DBN":[167],"make":[169],"tractable.":[176]},"counts_by_year":[],"updated_date":"2026-11-06T12:05:46.655746","created_date":"2026-02-13T00:00:00"}