{"id":"https://openalex.org/W4395063838","doi":"https://doi.org/10.1093/logcom/exae019","title":"Estimating event probabilities via signal temporal logic and first occurrence distributions","display_name":"Estimating event probabilities via signal temporal logic and first occurrence distributions","publication_year":2024,"publication_date":"2024-04-24","ids":{"openalex":"https://openalex.org/W4395063838","doi":"https://doi.org/10.1093/logcom/exae019"},"language":"en","primary_location":{"id":"doi:10.1093/logcom/exae019","is_oa":false,"landing_page_url":"https://doi.org/10.1093/logcom/exae019","pdf_url":null,"source":{"id":"https://openalex.org/S47057106","display_name":"Journal of Logic and Computation","issn_l":"0955-792X","issn":["0955-792X","1465-363X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311648","host_organization_name":"Oxford University Press","host_organization_lineage":["https://openalex.org/P4310311648","https://openalex.org/P4310311647"],"host_organization_lineage_names":["Oxford University Press","University of Oxford"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Logic and Computation","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"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/A5100432264","display_name":"Siqi Zhang","orcid":"https://orcid.org/0009-0002-1814-6887"},"institutions":[{"id":"https://openalex.org/I4210165038","display_name":"University of Chinese Academy of Sciences","ror":"https://ror.org/05qbk4x57","country_code":"CN","type":"education","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210165038"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Siqi Zhang","raw_affiliation_strings":["Chengdu Institute of Computer Applications , Chinese Academy of Sciences, Chengdu, 610213, China, University of Chinese Academy of Sciences, Beijing, 100049, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Chengdu Institute of Computer Applications , Chinese Academy of Sciences, Chengdu, 610213, China, University of Chinese Academy of Sciences, Beijing, 100049, China","institution_ids":["https://openalex.org/I4210165038"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5109186228","display_name":"Xiaolin Qin","orcid":"https://orcid.org/0000-0001-5087-8178"},"institutions":[{"id":"https://openalex.org/I4210165038","display_name":"University of Chinese Academy of Sciences","ror":"https://ror.org/05qbk4x57","country_code":"CN","type":"education","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210165038"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xiaolin Qin","raw_affiliation_strings":["Chengdu Institute of Computer Applications , Chinese Academy of Sciences, Chengdu, 610213, China, University of Chinese Academy of Sciences, Beijing, 100049, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Chengdu Institute of Computer Applications , Chinese Academy of Sciences, Chengdu, 610213, China, University of Chinese Academy of Sciences, Beijing, 100049, China","institution_ids":["https://openalex.org/I4210165038"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100620206","display_name":"Ju Zhang","orcid":"https://orcid.org/0000-0002-0378-6497"},"institutions":[{"id":"https://openalex.org/I4210123021","display_name":"Chongqing Institute of Green and Intelligent Technology","ror":"https://ror.org/031npqv35","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210123021"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Ju Zhang","raw_affiliation_strings":["Chongqing Institute of Green and Intelligent Technology , Chinese Academy of Sciences, Chongqing, 400714, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Chongqing Institute of Green and Intelligent Technology , Chinese Academy of Sciences, Chongqing, 400714, China","institution_ids":["https://openalex.org/I4210123021"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5100325209","display_name":"Jiang Liu","orcid":"https://orcid.org/0000-0001-6281-6505"},"institutions":[{"id":"https://openalex.org/I4210123021","display_name":"Chongqing Institute of Green and Intelligent Technology","ror":"https://ror.org/031npqv35","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210123021"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Jiang Liu","raw_affiliation_strings":["Chongqing Institute of Green and Intelligent Technology , Chinese Academy of Sciences, Chongqing, 400714, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Chongqing Institute of Green and Intelligent Technology , Chinese Academy of Sciences, Chongqing, 400714, China","institution_ids":["https://openalex.org/I4210123021"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5100325209"],"corresponding_institution_ids":["https://openalex.org/I4210123021"],"apc_list":{"value":4151,"currency":"USD","value_usd":4151},"apc_paid":null,"fwci":0.2126,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.41623171,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":91,"max":95},"biblio":{"volume":"35","issue":"3","first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12205","display_name":"Time Series Analysis and Forecasting","score":0.9861999750137329,"subfield":{"id":"https://openalex.org/subfields/1711","display_name":"Signal Processing"},"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/T12205","display_name":"Time Series Analysis and Forecasting","score":0.9861999750137329,"subfield":{"id":"https://openalex.org/subfields/1711","display_name":"Signal Processing"},"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/T12127","display_name":"Software System Performance and Reliability","score":0.9670000076293945,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T11512","display_name":"Anomaly Detection Techniques and Applications","score":0.9621999859809875,"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/event","display_name":"Event (particle physics)","score":0.592636227607727},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5840272307395935},{"id":"https://openalex.org/keywords/signal","display_name":"SIGNAL (programming language)","score":0.5404613018035889},{"id":"https://openalex.org/keywords/temporal-logic","display_name":"Temporal logic","score":0.41345033049583435},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3492801785469055},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.21865227818489075},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.09552803635597229},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.07056453824043274}],"concepts":[{"id":"https://openalex.org/C2779662365","wikidata":"https://www.wikidata.org/wiki/Q5416694","display_name":"Event (particle physics)","level":2,"score":0.592636227607727},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5840272307395935},{"id":"https://openalex.org/C2779843651","wikidata":"https://www.wikidata.org/wiki/Q7390335","display_name":"SIGNAL (programming language)","level":2,"score":0.5404613018035889},{"id":"https://openalex.org/C25016198","wikidata":"https://www.wikidata.org/wiki/Q781833","display_name":"Temporal logic","level":2,"score":0.41345033049583435},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3492801785469055},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.21865227818489075},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.09552803635597229},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.07056453824043274},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1093/logcom/exae019","is_oa":false,"landing_page_url":"https://doi.org/10.1093/logcom/exae019","pdf_url":null,"source":{"id":"https://openalex.org/S47057106","display_name":"Journal of Logic and Computation","issn_l":"0955-792X","issn":["0955-792X","1465-363X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311648","host_organization_name":"Oxford University Press","host_organization_lineage":["https://openalex.org/P4310311648","https://openalex.org/P4310311647"],"host_organization_lineage_names":["Oxford University Press","University of Oxford"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Logic and Computation","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.6499999761581421,"id":"https://metadata.un.org/sdg/8","display_name":"Decent work and economic growth"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":80,"referenced_works":["https://openalex.org/W1601829011","https://openalex.org/W1752795171","https://openalex.org/W1951863285","https://openalex.org/W1972402079","https://openalex.org/W1986143844","https://openalex.org/W2049696538","https://openalex.org/W2058818434","https://openalex.org/W2064675550","https://openalex.org/W2118020555","https://openalex.org/W2144588269","https://openalex.org/W2256658272","https://openalex.org/W2276652948","https://openalex.org/W2513891766","https://openalex.org/W2558661392","https://openalex.org/W2560526779","https://openalex.org/W2607045400","https://openalex.org/W2612243891","https://openalex.org/W2781420345","https://openalex.org/W2810035278","https://openalex.org/W2905161511","https://openalex.org/W2930586974","https://openalex.org/W2951442608","https://openalex.org/W2963931816","https://openalex.org/W3003004875","https://openalex.org/W3007066689","https://openalex.org/W3011590044","https://openalex.org/W3016266344","https://openalex.org/W3029617648","https://openalex.org/W3134382517","https://openalex.org/W3155567600","https://openalex.org/W3175524290","https://openalex.org/W3177525997","https://openalex.org/W3193688194","https://openalex.org/W3194940497","https://openalex.org/W3207334744","https://openalex.org/W3210476636","https://openalex.org/W4210357114","https://openalex.org/W4224315380","https://openalex.org/W4230762669","https://openalex.org/W4232230292","https://openalex.org/W4246881297","https://openalex.org/W4253804319","https://openalex.org/W4281606835","https://openalex.org/W4286664370","https://openalex.org/W4302438404","https://openalex.org/W4303438998","https://openalex.org/W4320168604","https://openalex.org/W4365806388","https://openalex.org/W6600275745","https://openalex.org/W6632722279","https://openalex.org/W6638231040","https://openalex.org/W6640842765","https://openalex.org/W6655902094","https://openalex.org/W6674485495","https://openalex.org/W6692100727","https://openalex.org/W6720421172","https://openalex.org/W6730601040","https://openalex.org/W6741536839","https://openalex.org/W6741599421","https://openalex.org/W6748231283","https://openalex.org/W6749156665","https://openalex.org/W6753036352","https://openalex.org/W6753589736","https://openalex.org/W6766984643","https://openalex.org/W6777095389","https://openalex.org/W6778367009","https://openalex.org/W6781244622","https://openalex.org/W6781940821","https://openalex.org/W6784898915","https://openalex.org/W6787643243","https://openalex.org/W6791892963","https://openalex.org/W6796731626","https://openalex.org/W6797155008","https://openalex.org/W6797469576","https://openalex.org/W6798737909","https://openalex.org/W6803523010","https://openalex.org/W6839200773","https://openalex.org/W6839813877","https://openalex.org/W6849913814","https://openalex.org/W6851618778"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2748952813","https://openalex.org/W2051487156","https://openalex.org/W2073681303","https://openalex.org/W2390279801","https://openalex.org/W2358668433","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W2382290278","https://openalex.org/W4395014643"],"abstract_inverted_index":{"Abstract":[0],"Estimating":[1],"the":[2,57,64,105],"probability":[3],"of":[4,59,107,113],"events":[5,75],"is":[6],"a":[7,15,48],"significant":[8],"challenge":[9],"in":[10,63],"many":[11],"fields,":[12],"often":[13],"requiring":[14],"probabilistic":[16],"model":[17],"or":[18,32],"additional":[19],"labels":[20],"and":[21,76,118],"tasks":[22],"for":[23],"accurate":[24],"prediction.":[25,102],"However,":[26],"those":[27],"methods":[28],"have":[29],"limited":[30],"scalability":[31],"unnecessary":[33],"computational":[34],"resource":[35],"consumption":[36],"due":[37],"to":[38,73],"predicting":[39],"unrelated":[40],"values.":[41],"To":[42],"address":[43],"these":[44],"issues,":[45],"we":[46],"propose":[47],"novel":[49],"approach":[50,95],"that":[51,80,96],"estimates":[52,81],"event":[53,87],"probabilities":[54,84],"based":[55],"on":[56,100,110],"distributions":[58],"their":[60],"first":[61],"occurrence":[62,88],"time":[65],"domain.":[66],"By":[67],"using":[68],"Signal":[69],"Temporal":[70],"Logic":[71],"formulas":[72],"describe":[74],"applying":[77],"an":[78,93],"algorithm":[79],"complex":[82],"events\u2019":[83],"through":[85],"simple":[86],"distributions,":[89],"this":[90],"study":[91],"presents":[92],"efficient":[94],"does":[97],"not":[98],"depend":[99],"high-precision":[101],"We":[103],"evaluate":[104],"performance":[106],"our":[108],"method":[109],"simulated":[111],"scenarios":[112],"unmanned":[114],"aerial":[115],"vehicle":[116],"motion":[117],"autonomous":[119],"driving.":[120]},"counts_by_year":[{"year":2025,"cited_by_count":1}],"updated_date":"2026-07-29T09:40:50.615796","created_date":"2025-10-10T00:00:00"}