{"id":"https://openalex.org/W2405410096","doi":null,"title":"Diagnosis of Probabilistic Models using Causality and Regression.","display_name":"Diagnosis of Probabilistic Models using Causality and Regression.","publication_year":2014,"publication_date":"2014-01-01","ids":{"openalex":"https://openalex.org/W2405410096","mag":"2405410096"},"language":"en","primary_location":{"id":"pmh:oai:CiteSeerX.psu:10.1.1.667.345","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.667.345","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://ceur-ws.org/Vol-1256/paper3.pdf","raw_type":"text"},"volume":null,"type":"article","is_traditional":true,"indexed_in":[],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5026120001","display_name":"Hichem Debbi","orcid":"https://orcid.org/0000-0002-0339-1903","observed_orcids":["https://orcid.org/0000-0002-0339-1903"]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Hichem Debbi","raw_affiliation_strings":[],"raw_orcid":"https://orcid.org/0000-0002-0339-1903","affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5026120001"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.7383,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.74725701,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":93,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"34","last_page":"44"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9990000128746033,"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.9990000128746033,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.0003000000142492354,"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/T11125","display_name":"Petri Nets in System Modeling","score":9.999999747378752e-05,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/probabilistic-model-checking","display_name":"probabilistic model checking","score":0.9459999799728394},{"id":"https://openalex.org/keywords/counterexample-analysis","display_name":"counterexample analysis","score":0.9829999804496765},{"id":"https://openalex.org/keywords/counterexample-generation","display_name":"counterexample generation","score":0.6320000290870667},{"id":"https://openalex.org/keywords/causality","display_name":"causality","score":0.8659999966621399},{"id":"https://openalex.org/keywords/regression-analysis","display_name":"regression analysis","score":0.9700000286102295},{"id":"https://openalex.org/keywords/continuous-stochastic-logic","display_name":"continuous stochastic logic","score":0.996999979019165},{"id":"https://openalex.org/keywords/discrete-time-markov-chains","display_name":"discrete-time Markov chains","score":0.8560000061988831},{"id":"https://openalex.org/keywords/continuous-time-markov-chains","display_name":"continuous-time Markov chains","score":0.996999979019165}],"concepts":[{"id":"https://openalex.org/C64357122","wikidata":"https://www.wikidata.org/wiki/Q1149766","display_name":"Causality (physics)","level":2,"score":0.614854097366333},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.585390031337738},{"id":"https://openalex.org/C83546350","wikidata":"https://www.wikidata.org/wiki/Q1139051","display_name":"Regression","level":2,"score":0.5283299684524536},{"id":"https://openalex.org/C152877465","wikidata":"https://www.wikidata.org/wiki/Q208042","display_name":"Regression analysis","level":2,"score":0.5038096308708191},{"id":"https://openalex.org/C149782125","wikidata":"https://www.wikidata.org/wiki/Q160039","display_name":"Econometrics","level":1,"score":0.4772496223449707},{"id":"https://openalex.org/C90157343","wikidata":"https://www.wikidata.org/wiki/Q5188196","display_name":"Cross-sectional regression","level":4,"score":0.44131603837013245},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4396056830883026},{"id":"https://openalex.org/C114289077","wikidata":"https://www.wikidata.org/wiki/Q3284399","display_name":"Statistical model","level":2,"score":0.4133099615573883},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.3717879056930542},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3198475241661072},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.28837960958480835},{"id":"https://openalex.org/C64946054","wikidata":"https://www.wikidata.org/wiki/Q4874476","display_name":"Bayesian multivariate linear regression","level":3,"score":0.26243722438812256},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.25068235397338867},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:CiteSeerX.psu:10.1.1.667.345","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.667.345","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://ceur-ws.org/Vol-1256/paper3.pdf","raw_type":"text"},{"id":"mag:2405410096","doi":null,"is_oa":false,"landing_page_url":"http://ceur-ws.org/Vol-1256/paper3.pdf","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":null}],"best_oa_location":null,"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":31,"referenced_works":["https://openalex.org/W95552213","https://openalex.org/W132969391","https://openalex.org/W935791419","https://openalex.org/W1512013481","https://openalex.org/W1541407177","https://openalex.org/W1550168504","https://openalex.org/W1568125119","https://openalex.org/W1585891904","https://openalex.org/W1636554345","https://openalex.org/W1754956050","https://openalex.org/W1945638812","https://openalex.org/W1960231166","https://openalex.org/W2005998857","https://openalex.org/W2041226400","https://openalex.org/W2049053063","https://openalex.org/W2065086898","https://openalex.org/W2080265580","https://openalex.org/W2095861482","https://openalex.org/W2098787400","https://openalex.org/W2106461572","https://openalex.org/W2121081915","https://openalex.org/W2130780163","https://openalex.org/W2141881497","https://openalex.org/W2144883983","https://openalex.org/W2156008373","https://openalex.org/W2158655806","https://openalex.org/W2158870716","https://openalex.org/W2164096878","https://openalex.org/W2167919739","https://openalex.org/W2462136826","https://openalex.org/W2799029738"],"related_works":["https://openalex.org/W1754956050","https://openalex.org/W2144883983","https://openalex.org/W2579958005","https://openalex.org/W2508473676","https://openalex.org/W7100912051","https://openalex.org/W7096820065","https://openalex.org/W7093995511","https://openalex.org/W7096739098","https://openalex.org/W4308750110","https://openalex.org/W95552213"],"abstract_inverted_index":{"The":[0],"counterexample":[1,29,44,49,70],"in":[2,12,110],"probabilistic":[3,57],"model":[4],"checking":[5],"(PMC)":[6],"is":[7,30,47],"a":[8,14,69,72,114],"set":[9],"of":[10,43,63,100,113],"paths":[11],"which":[13,46],"path":[15],"formula":[16,79],"holds,":[17],"and":[18,65,103],"their":[19,105],"accumulated":[20],"probability":[21,24],"violates":[22],"the":[23,28,40,48,61,98,101,108,111],"bound.":[25],"However,":[26],"understanding":[27],"not":[31,82],"an":[32,53],"easy":[33],"task.":[34],"In":[35],"this":[36,95],"paper":[37],"we":[38],"address":[39],"complementary":[41],"task":[42],"generation,":[45],"analysis.":[50,67],"We":[51],"propose":[52],"aided-diagnostic":[54],"method":[55,96],"for":[56,71],"counterexamples":[58],"based":[59],"on":[60],"notions":[62],"causality":[64],"regression":[66,115],"Given":[68],"Probabilistic":[73],"CTL":[74],"(PCTL)/Continuous":[75],"Stochastic":[76],"Logic":[77,92],"(CSL)":[78],"that":[80],"does":[81],"hold":[83],"over":[84],"Discrete":[85],"Time":[86,90],"Markov":[87,91],"Chain":[88],"(DTMC)/Continuous":[89],"(CTMC)":[93],"model,":[94],"generates":[97],"causes":[99],"violation,":[102],"describes":[104],"contribution":[106],"to":[107],"error":[109],"form":[112],"model.":[116]},"counts_by_year":[{"year":2016,"cited_by_count":2}],"updated_date":"2026-10-16T09:59:22.235173","created_date":"2016-06-24T00:00:00"}