{"id":"https://openalex.org/W2994717975","doi":"https://doi.org/10.1109/indin41052.2019.8972229","title":"Evaluating Two Semantics for Falsification using an Autonomous Driving Example","display_name":"Evaluating Two Semantics for Falsification using an Autonomous Driving Example","publication_year":2019,"publication_date":"2019-07-01","ids":{"openalex":"https://openalex.org/W2994717975","doi":"https://doi.org/10.1109/indin41052.2019.8972229","mag":"2994717975"},"language":"en","primary_location":{"id":"doi:10.1109/indin41052.2019.8972229","is_oa":false,"landing_page_url":"https://doi.org/10.1109/indin41052.2019.8972229","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2019 IEEE 17th International Conference on Industrial Informatics (INDIN)","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://research.chalmers.se/publication/518407/file/518407_Fulltext.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5046164707","display_name":"Zahra Ramezani","orcid":"https://orcid.org/0000-0003-0873-7712"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Zahra Ramezani","raw_affiliation_strings":["Department of Electrical Engineering"],"affiliations":[{"raw_affiliation_string":"Department of Electrical Engineering","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5075214611","display_name":"Nicholas Smallbone","orcid":"https://orcid.org/0000-0003-2880-6121"},"institutions":[{"id":"https://openalex.org/I66862912","display_name":"Chalmers University of Technology","ror":"https://ror.org/040wg7k59","country_code":"SE","type":"education","lineage":["https://openalex.org/I66862912"]}],"countries":["SE"],"is_corresponding":false,"raw_author_name":"Nicholas Smallbone","raw_affiliation_strings":["Chalmers University of Technology,Department of Computer Science and Engineering,Gothenburg,Sweden","Department of Computer Science and Engineering Chalmers University of Technology Gothenburg, Sweden"],"affiliations":[{"raw_affiliation_string":"Chalmers University of Technology,Department of Computer Science and Engineering,Gothenburg,Sweden","institution_ids":["https://openalex.org/I66862912"]},{"raw_affiliation_string":"Department of Computer Science and Engineering Chalmers University of Technology Gothenburg, Sweden","institution_ids":["https://openalex.org/I66862912"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5017972835","display_name":"Martin Fabian","orcid":"https://orcid.org/0000-0003-1287-9748"},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Martin Fabian","raw_affiliation_strings":["Department of Electrical Engineering"],"affiliations":[{"raw_affiliation_string":"Department of Electrical Engineering","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5108805135","display_name":"Knut \u00c5kesson","orcid":"https://orcid.org/0000-0001-6105-2726"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Knut \u00c5kesson","raw_affiliation_strings":["Department of Electrical Engineering"],"affiliations":[{"raw_affiliation_string":"Department of Electrical Engineering","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5017972835"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.2,"has_fulltext":true,"cited_by_count":3,"citation_normalized_percentile":{"value":0.5815705,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":95},"biblio":{"volume":null,"issue":null,"first_page":"386","last_page":"391"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9973000288009644,"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.9973000288009644,"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/T12423","display_name":"Software Reliability and Analysis Research","score":0.9958000183105469,"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/T10260","display_name":"Software Engineering Research","score":0.9955000281333923,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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.6860883235931396},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6741064190864563},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.6414982676506042},{"id":"https://openalex.org/keywords/measure","display_name":"Measure (data warehouse)","score":0.5057494640350342},{"id":"https://openalex.org/keywords/temporal-logic","display_name":"Temporal logic","score":0.4706786274909973},{"id":"https://openalex.org/keywords/key","display_name":"Key (lock)","score":0.44358888268470764},{"id":"https://openalex.org/keywords/function","display_name":"Function (biology)","score":0.4435034394264221},{"id":"https://openalex.org/keywords/formal-specification","display_name":"Formal specification","score":0.4432457387447357},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.42131999135017395},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4060256779193878},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3666799068450928},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.28486889600753784}],"concepts":[{"id":"https://openalex.org/C63479239","wikidata":"https://www.wikidata.org/wiki/Q7353546","display_name":"Robustness (evolution)","level":3,"score":0.6860883235931396},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6741064190864563},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.6414982676506042},{"id":"https://openalex.org/C2780009758","wikidata":"https://www.wikidata.org/wiki/Q6804172","display_name":"Measure (data warehouse)","level":2,"score":0.5057494640350342},{"id":"https://openalex.org/C25016198","wikidata":"https://www.wikidata.org/wiki/Q781833","display_name":"Temporal logic","level":2,"score":0.4706786274909973},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.44358888268470764},{"id":"https://openalex.org/C14036430","wikidata":"https://www.wikidata.org/wiki/Q3736076","display_name":"Function (biology)","level":2,"score":0.4435034394264221},{"id":"https://openalex.org/C116253237","wikidata":"https://www.wikidata.org/wiki/Q1437424","display_name":"Formal specification","level":2,"score":0.4432457387447357},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.42131999135017395},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4060256779193878},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3666799068450928},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.28486889600753784},{"id":"https://openalex.org/C78458016","wikidata":"https://www.wikidata.org/wiki/Q840400","display_name":"Evolutionary biology","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"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/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","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}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1109/indin41052.2019.8972229","is_oa":false,"landing_page_url":"https://doi.org/10.1109/indin41052.2019.8972229","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2019 IEEE 17th International Conference on Industrial Informatics (INDIN)","raw_type":"proceedings-article"},{"id":"pmh:oai:research.chalmers.se:514516","is_oa":true,"landing_page_url":"https://research.chalmers.se/en/publication/514516","pdf_url":"https://research.chalmers.se/publication/518407/file/518407_Fulltext.pdf","source":{"id":"https://openalex.org/S4306402469","display_name":"Chalmers Research (Chalmers University of Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I66862912","host_organization_name":"Chalmers University of Technology","host_organization_lineage":["https://openalex.org/I66862912"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":""},{"id":"pmh:oai:research.chalmers.se:517324","is_oa":false,"landing_page_url":"http://doi.org/10.1109/INDIN41052.2019.8972229","pdf_url":null,"source":{"id":"https://openalex.org/S4306402469","display_name":"Chalmers Research (Chalmers University of Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I66862912","host_organization_name":"Chalmers University of Technology","host_organization_lineage":["https://openalex.org/I66862912"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":""},{"id":"pmh:oai:research.chalmers.se:518407","is_oa":false,"landing_page_url":"https://research.chalmers.se/en/publication/e908ee82-d6ef-484d-9e20-a610ee502ee8","pdf_url":null,"source":{"id":"https://openalex.org/S4306402469","display_name":"Chalmers Research (Chalmers University of Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I66862912","host_organization_name":"Chalmers University of Technology","host_organization_lineage":["https://openalex.org/I66862912"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":""}],"best_oa_location":{"id":"pmh:oai:research.chalmers.se:514516","is_oa":true,"landing_page_url":"https://research.chalmers.se/en/publication/514516","pdf_url":"https://research.chalmers.se/publication/518407/file/518407_Fulltext.pdf","source":{"id":"https://openalex.org/S4306402469","display_name":"Chalmers Research (Chalmers University of Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I66862912","host_organization_name":"Chalmers University of Technology","host_organization_lineage":["https://openalex.org/I66862912"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":""},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions","score":0.4399999976158142}],"awards":[{"id":"https://openalex.org/G3049764408","display_name":null,"funder_award_id":"TESTRON 2015-04893","funder_id":"https://openalex.org/F4320321030","funder_display_name":"VINNOVA"},{"id":"https://openalex.org/G7501088677","display_name":null,"funder_award_id":"2016-06204","funder_id":"https://openalex.org/F4320322581","funder_display_name":"Vetenskapsr\u00e5det"}],"funders":[{"id":"https://openalex.org/F4320321030","display_name":"VINNOVA","ror":"https://ror.org/01kd5m353"},{"id":"https://openalex.org/F4320322581","display_name":"Vetenskapsr\u00e5det","ror":"https://ror.org/03zttf063"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2994717975.pdf","grobid_xml":"https://content.openalex.org/works/W2994717975.grobid-xml"},"referenced_works_count":14,"referenced_works":["https://openalex.org/W1533557569","https://openalex.org/W1547304883","https://openalex.org/W2026629052","https://openalex.org/W2085838366","https://openalex.org/W2092884371","https://openalex.org/W2131399618","https://openalex.org/W2145401763","https://openalex.org/W2153803621","https://openalex.org/W2576845151","https://openalex.org/W2749747771","https://openalex.org/W2783139992","https://openalex.org/W2785700716","https://openalex.org/W2884716674","https://openalex.org/W4297781990"],"related_works":["https://openalex.org/W3092857910","https://openalex.org/W3091879671","https://openalex.org/W3160148287","https://openalex.org/W2783139992","https://openalex.org/W2614281427","https://openalex.org/W2978342210","https://openalex.org/W3088686676","https://openalex.org/W3033657654","https://openalex.org/W3085446862","https://openalex.org/W2949730470","https://openalex.org/W2044921137","https://openalex.org/W230257536","https://openalex.org/W1566748826","https://openalex.org/W24620155","https://openalex.org/W3162219374","https://openalex.org/W2345730262","https://openalex.org/W2411667593","https://openalex.org/W1597210183","https://openalex.org/W2010647095","https://openalex.org/W2142687653"],"abstract_inverted_index":{"We":[0,69],"consider":[1],"the":[2,48,72,79,89,96,131,141,148,158,163,166,194,197,200,204,222,228,231,236,265,268],"falsification":[3,164,183,198],"of":[4,112,116,130,165,199,230,267],"temporal":[5],"logic":[6],"properties":[7,229,266],"as":[8,16,177,180],"a":[9,113,151,191],"method":[10],"to":[11,28,59,88,98,125,139,156,189,196,262],"test":[12],"complex":[13],"systems,":[14],"such":[15,94,161],"autonomous":[17,43],"systems.":[18],"Since":[19],"these":[20,247],"systems":[21,110],"are":[22,67,243],"often":[23],"safety-critical,":[24],"it":[25,119,169,186],"is":[26,45,58,86,101,120,137,154,187,206],"important":[27,56],"assess":[29],"whether":[30],"they":[31],"fulfill":[32],"given":[33,65,81],"specifications":[34],"or":[35,123],"not.":[36],"An":[37],"adaptive":[38,252],"cruise":[39,253],"controller":[40],"for":[41,63,143],"an":[42,55,134,251],"car":[44],"considered":[46],"where":[47],"closed-loop":[49,73],"model":[50],"has":[51],"unknown":[52],"parameters":[53,144],"and":[54,118,224,235,260],"problem":[57],"find":[60],"parameter":[61],"combinations":[62,129],"which":[64],"specification":[66],"broken.":[68],"assume":[70],"that":[71,145,162],"system":[74],"can":[75,170,173],"be":[76,171,174],"simulated":[77],"with":[78],"known":[80],"parameters,":[82,117],"no":[83],"other":[84],"information":[85],"available":[87],"testing":[90],"framework.":[91],"The":[92,202],"specification,":[93,167],"as,":[95],"ability":[97],"avoid":[99],"collisions,":[100],"expressed":[102],"using":[103,176,184],"Signal":[104],"Temporal":[105],"Logic":[106],"(STL).":[107],"In":[108],"general,":[109],"consist":[111],"large":[114],"number":[115],"not":[121],"possible":[122],"feasible":[124],"explicitly":[126],"enumerate":[127],"all":[128],"parameters.":[132],"Thus,":[133],"optimization-based":[135],"approach":[136],"used":[138,213],"guide":[140],"search":[142],"might":[146],"falsify":[147],"specification.":[149,201],"However,":[150],"key":[152],"challenge":[153],"how":[155],"select":[157],"objective":[159,211],"function":[160],"if":[168],"falsified,":[172],"falsified":[175],"few":[178],"simulations":[179],"possible.":[181],"For":[182],"optimization":[185],"required":[188],"have":[190,218],"measure":[192,205],"representing":[193],"distance":[195],"way":[203],"defined":[207],"results":[208],"in":[209,221,225],"different":[210],"functions":[212],"during":[214],"optimization.":[215],"Different":[216],"measures":[217],"been":[219],"proposed":[220],"literature":[223],"this":[226],"paper":[227],"Max":[232],"Semantics":[233],"(MAX)":[234],"Mean":[237],"Alternative":[238],"Robustness":[239],"Value":[240],"(MARV)":[241],"semantics":[242,249],"discussed.":[244],"After":[245],"evaluating":[246],"two":[248,269],"on":[250],"control":[254],"example,":[255],"we":[256],"discuss":[257],"their":[258],"strengths":[259],"weaknesses":[261],"better":[263],"understand":[264],"semantics.":[270]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2020,"cited_by_count":1}],"updated_date":"2026-04-21T08:09:41.155169","created_date":"2019-12-26T00:00:00"}