{"id":"https://openalex.org/W2884685148","doi":"https://doi.org/10.23919/acc.2018.8431460","title":"Generalized Robust MTL Semantics for Problems in Cardiac Electrophysiology","display_name":"Generalized Robust MTL Semantics for Problems in Cardiac Electrophysiology","publication_year":2018,"publication_date":"2018-06-01","ids":{"openalex":"https://openalex.org/W2884685148","doi":"https://doi.org/10.23919/acc.2018.8431460","mag":"2884685148"},"language":"en","primary_location":{"id":"doi:10.23919/acc.2018.8431460","is_oa":false,"landing_page_url":"https://doi.org/10.23919/acc.2018.8431460","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2018 Annual American Control Conference (ACC)","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://repository.upenn.edu/bitstreams/65e27c7e-682a-4d7f-8b93-941fb6f71b80/download","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5021880681","display_name":"Houssam Abbas","orcid":"https://orcid.org/0000-0002-8096-2618"},"institutions":[{"id":"https://openalex.org/I165932596","display_name":"National University of Singapore","ror":"https://ror.org/01tgyzw49","country_code":"SG","type":"education","lineage":["https://openalex.org/I165932596"]}],"countries":["SG"],"is_corresponding":false,"raw_author_name":"Houssam Abbas","raw_affiliation_strings":["Department of Electrical and Computer Engineering, National University of Singapore, Singapore"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Electrical and Computer Engineering, National University of Singapore, Singapore","institution_ids":["https://openalex.org/I165932596"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5009445756","display_name":"Rahul Mangharam","orcid":"https://orcid.org/0000-0002-3388-8283"},"institutions":[{"id":"https://openalex.org/I165932596","display_name":"National University of Singapore","ror":"https://ror.org/01tgyzw49","country_code":"SG","type":"education","lineage":["https://openalex.org/I165932596"]}],"countries":["SG"],"is_corresponding":false,"raw_author_name":"Rahul Mangharam","raw_affiliation_strings":["Department of Electrical and Computer Engineering, National University of Singapore, Singapore"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Electrical and Computer Engineering, National University of Singapore, Singapore","institution_ids":["https://openalex.org/I165932596"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I165932596"],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"cited_by_count":5,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"1592","last_page":"1597"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9993000030517578,"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.9993000030517578,"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.9954000115394592,"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/T12423","display_name":"Software Reliability and Analysis Research","score":0.9829000234603882,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/robustness","display_name":"Robustness (evolution)","score":0.7917517423629761},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6150607466697693},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.5056958198547363},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.35178589820861816},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.3383006453514099}],"concepts":[{"id":"https://openalex.org/C63479239","wikidata":"https://www.wikidata.org/wiki/Q7353546","display_name":"Robustness (evolution)","level":3,"score":0.7917517423629761},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6150607466697693},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5056958198547363},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.35178589820861816},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.3383006453514099},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","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/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.23919/acc.2018.8431460","is_oa":false,"landing_page_url":"https://doi.org/10.23919/acc.2018.8431460","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2018 Annual American Control Conference (ACC)","raw_type":"proceedings-article"},{"id":"pmh:oai:repository.upenn.edu:mlab_papers-1133","is_oa":true,"landing_page_url":"https://repository.upenn.edu/mlab_papers/113","pdf_url":"https://repository.upenn.edu/bitstreams/65e27c7e-682a-4d7f-8b93-941fb6f71b80/download","source":{"id":"https://openalex.org/S4306402083","display_name":"ScholarlyCommons (University of Pennsylvania)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I79576946","host_organization_name":"University of Pennsylvania","host_organization_lineage":["https://openalex.org/I79576946"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Real-Time and Embedded Systems Lab (mLAB)","raw_type":"text"},{"id":"pmh:oai:repository.upenn.edu:20.500.14332/40613","is_oa":false,"landing_page_url":"https://repository.upenn.edu/handle/20.500.14332/40613","pdf_url":null,"source":{"id":"https://openalex.org/S4306402083","display_name":"ScholarlyCommons (University of Pennsylvania)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I79576946","host_organization_name":"University of Pennsylvania","host_organization_lineage":["https://openalex.org/I79576946"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"published","raw_type":"Presentation"}],"best_oa_location":{"id":"pmh:oai:repository.upenn.edu:mlab_papers-1133","is_oa":true,"landing_page_url":"https://repository.upenn.edu/mlab_papers/113","pdf_url":"https://repository.upenn.edu/bitstreams/65e27c7e-682a-4d7f-8b93-941fb6f71b80/download","source":{"id":"https://openalex.org/S4306402083","display_name":"ScholarlyCommons (University of Pennsylvania)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I79576946","host_organization_name":"University of Pennsylvania","host_organization_lineage":["https://openalex.org/I79576946"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Real-Time and Embedded Systems Lab (mLAB)","raw_type":"text"},"sustainable_development_goals":[{"score":0.7699999809265137,"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16"}],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2884685148.pdf","grobid_xml":"https://content.openalex.org/works/W2884685148.grobid-xml"},"referenced_works_count":26,"referenced_works":["https://openalex.org/W189973795","https://openalex.org/W574546601","https://openalex.org/W1506101803","https://openalex.org/W1508695273","https://openalex.org/W1526296234","https://openalex.org/W1533557569","https://openalex.org/W1565007974","https://openalex.org/W1569239057","https://openalex.org/W1875975371","https://openalex.org/W1898424075","https://openalex.org/W1966224165","https://openalex.org/W1992777946","https://openalex.org/W2024574047","https://openalex.org/W2049399166","https://openalex.org/W2054704105","https://openalex.org/W2057672034","https://openalex.org/W2099184371","https://openalex.org/W2112248103","https://openalex.org/W2153803621","https://openalex.org/W2157202548","https://openalex.org/W2291989804","https://openalex.org/W2521098037","https://openalex.org/W2607424191","https://openalex.org/W2612952478","https://openalex.org/W4251323451","https://openalex.org/W4302797181"],"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/W2382290278","https://openalex.org/W4395014643"],"abstract_inverted_index":{"Robustness-Guided":[0],"Falsification":[1],"(RGF)":[2],"is":[3,50,58,126,148,162],"an":[4,38],"efficient":[5],"testing":[6,85],"technique":[7],"that":[8,15,128,164],"tries":[9],"to":[10,52,60,114,150,183,210],"find":[11],"a":[12,100,178],"system":[13,46],"execution":[14],"violates":[16],"some":[17],"formal":[18],"specification,":[19],"by":[20,81],"minimizing":[21],"the":[22,25,28,34,43,67,82,86,106,131,152,172,186,190],"robustness":[23,153,174],"of":[24,30,33,45,71,84,88,94,108,155,168,181],"specification":[26],"over":[27,105],"set":[29],"initial":[31],"conditions":[32],"system.":[35],"Robustness":[36],"uses":[37],"underlying":[39],"distance":[40,133,192],"function":[41],"on":[42,199],"space":[44,107],"executions.":[47],"As":[48],"RGF":[49,182],"applied":[51],"new":[53],"fields":[54],"like":[55],"medicine,":[56],"it":[57,113,125,161],"essential":[59],"determine":[61],"whether":[62],"our":[63],"distances":[64,140],"still":[65],"capture":[66],"domain":[68],"expert's":[69],"intuition":[70],"which":[72,77],"executions":[73],"are":[74,78],"similar":[75],"and":[76,118,160],"not.":[79],"Motivated":[80],"problem":[83],"algorithms":[87],"cardiac":[89,109,135,187],"defibrillators":[90],"implanted":[91],"in":[92,142,185],"millions":[93],"patients":[95],"worldwide,":[96],"this":[97],"work":[98],"develops":[99],"(pseudo-)distance":[101],"function,":[102],"called":[103],"conformance,":[104],"signals.":[110],"By":[111],"using":[112,189],"distinguish":[115],"between":[116,134],"fatal":[117],"non-fatal":[119],"arrhythmias":[120],"obtained":[121],"from":[122],"real":[123],"patients,":[124],"demonstrated":[127],"conformance":[129,147],"measures":[130],"meaningful":[132],"signals":[136],"much":[137],"better":[138],"than":[139],"used":[141,149],"medical":[143],"devices":[144],"today.":[145],"Next,":[146],"re-define":[151],"degrees":[154],"Metric":[156],"Temporal":[157],"Logic":[158],"(MTL),":[159],"shown":[163],"conformance-based":[165],"robust":[166,196],"semantics":[167,197],"MTL":[169],"can":[170,202],"bound":[171],"(conformance-based)":[173],"degree,":[175],"thus":[176],"enabling":[177],"principled":[179],"application":[180],"problems":[184],"domain,":[188],"appropriate":[191],"notion.":[193],"Using":[194],"existing":[195],"based":[198],"sup":[200],"norm":[201],"yield":[203],"incorrect":[204],"conclusions,":[205],"with":[206],"potentially":[207],"severe":[208],"consequences":[209],"patients.":[211]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":2}],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-10-10T00:00:00"}