{"id":"https://openalex.org/W4399647326","doi":"https://doi.org/10.46298/lmcs-20(2:14)2024","title":"On the Metric Temporal Logic for Continuous Stochastic Processes","display_name":"On the Metric Temporal Logic for Continuous Stochastic Processes","publication_year":2024,"publication_date":"2024-06-13","ids":{"openalex":"https://openalex.org/W4399647326","doi":"https://doi.org/10.46298/lmcs-20(2:14)2024"},"language":"en","primary_location":{"id":"doi:10.46298/lmcs-20(2:14)2024","is_oa":true,"landing_page_url":"https://doi.org/10.46298/lmcs-20(2:14)2024","pdf_url":"https://lmcs.episciences.org/13774/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/13774/pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5043938506","display_name":"Mitsumasa Ikeda","orcid":"https://orcid.org/0000-0003-2390-331X"},"institutions":[{"id":"https://openalex.org/I73613424","display_name":"National Institute of Advanced Industrial Science and Technology","ror":"https://ror.org/01703db54","country_code":"JP","type":"government","lineage":["https://openalex.org/I73613424"]}],"countries":["JP"],"is_corresponding":true,"raw_author_name":"Mitsumasa Ikeda","raw_affiliation_strings":["National Institute of Advanced Industrial Science and Technology (AIST), Osaka 563-8577, Japan"],"affiliations":[{"raw_affiliation_string":"National Institute of Advanced Industrial Science and Technology (AIST), Osaka 563-8577, Japan","institution_ids":["https://openalex.org/I73613424"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5028729272","display_name":"Yoriyuki Yamagata","orcid":"https://orcid.org/0000-0003-2096-677X"},"institutions":[{"id":"https://openalex.org/I73613424","display_name":"National Institute of Advanced Industrial Science and Technology","ror":"https://ror.org/01703db54","country_code":"JP","type":"government","lineage":["https://openalex.org/I73613424"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Yoriyuki Yamagata","raw_affiliation_strings":["National Institute of Advanced Industrial Science and Technology (AIST), Osaka 563-8577, Japan"],"affiliations":[{"raw_affiliation_string":"National Institute of Advanced Industrial Science and Technology (AIST), Osaka 563-8577, Japan","institution_ids":["https://openalex.org/I73613424"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5057445953","display_name":"Takayuki Kihara","orcid":"https://orcid.org/0000-0002-1611-952X"},"institutions":[{"id":"https://openalex.org/I60134161","display_name":"Nagoya University","ror":"https://ror.org/04chrp450","country_code":"JP","type":"education","lineage":["https://openalex.org/I60134161"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Takayuki Kihara","raw_affiliation_strings":["Nagoya University, Nagoya 464-8601, Japan"],"affiliations":[{"raw_affiliation_string":"Nagoya University, Nagoya 464-8601, Japan","institution_ids":["https://openalex.org/I60134161"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5043938506"],"corresponding_institution_ids":["https://openalex.org/I73613424"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.10154981,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"Volume 20, Issue 2","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":1.0,"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":1.0,"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/T10126","display_name":"Logic, programming, and type systems","score":0.9986000061035156,"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.998199999332428,"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/temporal-logic","display_name":"Temporal logic","score":0.6134253740310669},{"id":"https://openalex.org/keywords/event","display_name":"Event (particle physics)","score":0.5511236190795898},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.516033411026001},{"id":"https://openalex.org/keywords/operator","display_name":"Operator (biology)","score":0.4545431137084961},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.4542941451072693},{"id":"https://openalex.org/keywords/stochastic-process","display_name":"Stochastic process","score":0.45226091146469116},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.4402972161769867},{"id":"https://openalex.org/keywords/metric","display_name":"Metric (unit)","score":0.43787187337875366},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.39448612928390503},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.3906967043876648},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.11905220150947571}],"concepts":[{"id":"https://openalex.org/C25016198","wikidata":"https://www.wikidata.org/wiki/Q781833","display_name":"Temporal logic","level":2,"score":0.6134253740310669},{"id":"https://openalex.org/C2779662365","wikidata":"https://www.wikidata.org/wiki/Q5416694","display_name":"Event (particle physics)","level":2,"score":0.5511236190795898},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.516033411026001},{"id":"https://openalex.org/C17020691","wikidata":"https://www.wikidata.org/wiki/Q139677","display_name":"Operator (biology)","level":5,"score":0.4545431137084961},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4542941451072693},{"id":"https://openalex.org/C8272713","wikidata":"https://www.wikidata.org/wiki/Q176737","display_name":"Stochastic process","level":2,"score":0.45226091146469116},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.4402972161769867},{"id":"https://openalex.org/C176217482","wikidata":"https://www.wikidata.org/wiki/Q860554","display_name":"Metric (unit)","level":2,"score":0.43787187337875366},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.39448612928390503},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.3906967043876648},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.11905220150947571},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C21547014","wikidata":"https://www.wikidata.org/wiki/Q1423657","display_name":"Operations management","level":1,"score":0.0},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0},{"id":"https://openalex.org/C158448853","wikidata":"https://www.wikidata.org/wiki/Q425218","display_name":"Repressor","level":4,"score":0.0},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"id":"https://openalex.org/C86339819","wikidata":"https://www.wikidata.org/wiki/Q407384","display_name":"Transcription factor","level":3,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.46298/lmcs-20(2:14)2024","is_oa":true,"landing_page_url":"https://doi.org/10.46298/lmcs-20(2:14)2024","pdf_url":"https://lmcs.episciences.org/13774/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:doaj.org/article:154014652b544a04b7ef189346ec1b98","is_oa":true,"landing_page_url":"https://doaj.org/article/154014652b544a04b7ef189346ec1b98","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 2 (2024)","raw_type":"article"}],"best_oa_location":{"id":"doi:10.46298/lmcs-20(2:14)2024","is_oa":true,"landing_page_url":"https://doi.org/10.46298/lmcs-20(2:14)2024","pdf_url":"https://lmcs.episciences.org/13774/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":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4399647326.pdf"},"referenced_works_count":23,"referenced_works":["https://openalex.org/W577343477","https://openalex.org/W1040376715","https://openalex.org/W1539382740","https://openalex.org/W1553812175","https://openalex.org/W1596970939","https://openalex.org/W1775249002","https://openalex.org/W1986184086","https://openalex.org/W2023808162","https://openalex.org/W2026629052","https://openalex.org/W2049696538","https://openalex.org/W2101780609","https://openalex.org/W2110062879","https://openalex.org/W2110579257","https://openalex.org/W2162578507","https://openalex.org/W2493922253","https://openalex.org/W2528640751","https://openalex.org/W2621540998","https://openalex.org/W2963714625","https://openalex.org/W3105151081","https://openalex.org/W3123425189","https://openalex.org/W4236231372","https://openalex.org/W4239399053","https://openalex.org/W4292198165"],"related_works":["https://openalex.org/W2959160600","https://openalex.org/W2119956050","https://openalex.org/W2393184035","https://openalex.org/W2026629052","https://openalex.org/W2142113611","https://openalex.org/W2056065776","https://openalex.org/W2031188261","https://openalex.org/W2124110813","https://openalex.org/W4324301570","https://openalex.org/W2045629210"],"abstract_inverted_index":{"In":[0],"this":[1],"paper,":[2],"we":[3,103,137,161,178],"prove":[4,115,162],"measurability":[5,52,94,117],"of":[6,43,74,83,95,118,134,145,153,166,173],"event":[7,98],"for":[8,28,47,53,121],"which":[9,77],"a":[10,105,128],"general":[11],"continuous-time":[12,16],"stochastic":[13,48,108,122],"process":[14],"satisfies":[15],"Metric":[17],"Temporal":[18],"Logic":[19],"(MTL)":[20],"formula.":[21],"Continuous-time":[22],"MTL":[23,45,154],"can":[24],"define":[25],"temporal":[26],"constrains":[27],"physical":[29],"system":[30],"in":[31,91],"natural":[32],"way.":[33],"Then":[34],"there":[35],"are":[36],"several":[37],"researches":[38],"that":[39,141,163,172],"deal":[40],"with":[41,156],"probability":[42,146,165],"continuous":[44,151,175],"semantics":[46,73,152,169,176],"processes.":[49],"However,":[50],"proving":[51,92],"such":[54,96],"events":[55],"is":[56,66,78,112],"by":[57,80],"no":[58],"means":[59],"an":[60,97,139],"obvious":[61],"task,":[62],"even":[63],"though":[64],"it":[65,125],"essential.":[67],"The":[68],"difficulty":[69,89],"comes":[70],"from":[71,107],"the":[72,88,93,116,132,143,150,164,167,174],"\"until":[75],"operator\",":[76],"defined":[79],"logical":[81],"sum":[82],"uncountably":[84],"many":[85],"propositions.":[86],"Given":[87],"involved":[90],"using":[99],"classical":[100],"measure-theoretic":[101],"methods,":[102],"employ":[104],"theorem":[106,111],"analysis.":[109],"This":[110],"utilized":[113],"to":[114,158,171,184],"hitting":[119],"times":[120],"processes,":[123],"and":[124],"stands":[126],"as":[127],"profound":[129],"result":[130],"within":[131],"theory":[133],"capacity.":[135],"Next,":[136],"provide":[138],"example":[140],"illustrates":[142],"failure":[144],"approximation":[147],"when":[148,177],"discretizing":[149],"formulas":[155],"respect":[157],"time.":[159],"Additionally,":[160],"discretized":[168],"converges":[170],"impose":[179],"restrictions":[180],"on":[181],"diamond":[182],"operators":[183],"prevent":[185],"nesting.":[186]},"counts_by_year":[],"updated_date":"2025-11-06T06:51:31.235846","created_date":"2025-10-10T00:00:00"}