{"id":"https://openalex.org/W2937186083","doi":"https://doi.org/10.1145/3302504.3311812","title":"Evrostos","display_name":"Evrostos","publication_year":2019,"publication_date":"2019-04-08","ids":{"openalex":"https://openalex.org/W2937186083","doi":"https://doi.org/10.1145/3302504.3311812","mag":"2937186083"},"language":"en","primary_location":{"id":"doi:10.1145/3302504.3311812","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3302504.3311812","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3302504.3311812","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3302504.3311812","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5066244515","display_name":"Tzanis Anevlavis","orcid":"https://orcid.org/0000-0002-9541-1720"},"institutions":[{"id":"https://openalex.org/I2803209242","display_name":"University of California System","ror":"https://ror.org/00pjdza24","country_code":"US","type":"education","lineage":["https://openalex.org/I2803209242"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Tzanis Anevlavis","raw_affiliation_strings":["University of California"],"affiliations":[{"raw_affiliation_string":"University of California","institution_ids":["https://openalex.org/I2803209242"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5064701353","display_name":"Daniel Neider","orcid":"https://orcid.org/0000-0001-9276-6342"},"institutions":[{"id":"https://openalex.org/I4210121786","display_name":"Max Planck Institute for Software Systems","ror":"https://ror.org/02pe2kf23","country_code":"DE","type":"facility","lineage":["https://openalex.org/I149899117","https://openalex.org/I4210121786"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Daniel Neider","raw_affiliation_strings":["Max Planck Institute for Software Systems"],"affiliations":[{"raw_affiliation_string":"Max Planck Institute for Software Systems","institution_ids":["https://openalex.org/I4210121786"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5016585039","display_name":"Matthew Phillipe","orcid":null},"institutions":[{"id":"https://openalex.org/I95674353","display_name":"UCLouvain","ror":"https://ror.org/02495e989","country_code":"BE","type":"education","lineage":["https://openalex.org/I95674353"]}],"countries":["BE"],"is_corresponding":false,"raw_author_name":"Matthew Phillipe","raw_affiliation_strings":["Universit\u00e9 catholique de Louvain"],"affiliations":[{"raw_affiliation_string":"Universit\u00e9 catholique de Louvain","institution_ids":["https://openalex.org/I95674353"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5047674203","display_name":"Paulo Tabuada","orcid":"https://orcid.org/0000-0002-3417-0951"},"institutions":[{"id":"https://openalex.org/I2803209242","display_name":"University of California System","ror":"https://ror.org/00pjdza24","country_code":"US","type":"education","lineage":["https://openalex.org/I2803209242"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Paulo Tabuada","raw_affiliation_strings":["University of California"],"affiliations":[{"raw_affiliation_string":"University of California","institution_ids":["https://openalex.org/I2803209242"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5066244515"],"corresponding_institution_ids":["https://openalex.org/I2803209242"],"apc_list":null,"apc_paid":null,"fwci":1.1998,"has_fulltext":true,"cited_by_count":9,"citation_normalized_percentile":{"value":0.80847057,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"218","last_page":"223"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9998999834060669,"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.9998999834060669,"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.9939000010490417,"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/T11549","display_name":"Synthetic Organic Chemistry Methods","score":0.9939000010490417,"subfield":{"id":"https://openalex.org/subfields/1605","display_name":"Organic Chemistry"},"field":{"id":"https://openalex.org/fields/16","display_name":"Chemistry"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.7827876806259155},{"id":"https://openalex.org/keywords/linear-temporal-logic","display_name":"Linear temporal logic","score":0.7680904865264893},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.6743592619895935},{"id":"https://openalex.org/keywords/fragment","display_name":"Fragment (logic)","score":0.6703073978424072},{"id":"https://openalex.org/keywords/robustness","display_name":"Robustness (evolution)","score":0.6611815094947815},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6458389759063721},{"id":"https://openalex.org/keywords/temporal-logic","display_name":"Temporal logic","score":0.6182959675788879},{"id":"https://openalex.org/keywords/computation-tree-logic","display_name":"Computation tree logic","score":0.5740694999694824},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.5373842120170593},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.45947495102882385},{"id":"https://openalex.org/keywords/b\u00fcchi-automaton","display_name":"B\u00fcchi automaton","score":0.44323208928108215},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.4183443784713745},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.33630892634391785},{"id":"https://openalex.org/keywords/deterministic-automaton","display_name":"Deterministic automaton","score":0.26424598693847656}],"concepts":[{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.7827876806259155},{"id":"https://openalex.org/C4777664","wikidata":"https://www.wikidata.org/wiki/Q1536492","display_name":"Linear temporal logic","level":2,"score":0.7680904865264893},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.6743592619895935},{"id":"https://openalex.org/C2776235265","wikidata":"https://www.wikidata.org/wiki/Q18392052","display_name":"Fragment (logic)","level":2,"score":0.6703073978424072},{"id":"https://openalex.org/C63479239","wikidata":"https://www.wikidata.org/wiki/Q7353546","display_name":"Robustness (evolution)","level":3,"score":0.6611815094947815},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6458389759063721},{"id":"https://openalex.org/C25016198","wikidata":"https://www.wikidata.org/wiki/Q781833","display_name":"Temporal logic","level":2,"score":0.6182959675788879},{"id":"https://openalex.org/C198008173","wikidata":"https://www.wikidata.org/wiki/Q1040040","display_name":"Computation tree logic","level":3,"score":0.5740694999694824},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.5373842120170593},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.45947495102882385},{"id":"https://openalex.org/C165753454","wikidata":"https://www.wikidata.org/wiki/Q1020380","display_name":"B\u00fcchi automaton","level":4,"score":0.44323208928108215},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.4183443784713745},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.33630892634391785},{"id":"https://openalex.org/C194525867","wikidata":"https://www.wikidata.org/wiki/Q5265707","display_name":"Deterministic automaton","level":3,"score":0.26424598693847656},{"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":1,"locations":[{"id":"doi:10.1145/3302504.3311812","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3302504.3311812","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3302504.3311812","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.1145/3302504.3311812","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3302504.3311812","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3302504.3311812","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1034401897","display_name":null,"funder_award_id":"W911NF-17-2-0196","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G1198325749","display_name":null,"funder_award_id":"W911NF-17-2-0196.","funder_id":"https://openalex.org/F4320338295","funder_display_name":"Army Research Laboratory"},{"id":"https://openalex.org/G1637379582","display_name":null,"funder_award_id":"W911NF-17-2-0196","funder_id":"https://openalex.org/F4320338295","funder_display_name":"Army Research Laboratory"},{"id":"https://openalex.org/G5259331294","display_name":null,"funder_award_id":"W911NF","funder_id":"https://openalex.org/F4320338295","funder_display_name":"Army Research Laboratory"},{"id":"https://openalex.org/G8396755554","display_name":null,"funder_award_id":"1645824","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"id":"https://openalex.org/F4320338295","display_name":"Army Research Laboratory","ror":"https://ror.org/011hc8f90"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2937186083.pdf","grobid_xml":"https://content.openalex.org/works/W2937186083.grobid-xml"},"referenced_works_count":26,"referenced_works":["https://openalex.org/W189948524","https://openalex.org/W351069376","https://openalex.org/W1489391022","https://openalex.org/W1506101803","https://openalex.org/W1533557569","https://openalex.org/W1566259690","https://openalex.org/W1569239057","https://openalex.org/W1661863441","https://openalex.org/W1965024948","https://openalex.org/W1970932506","https://openalex.org/W1972798717","https://openalex.org/W1975294133","https://openalex.org/W2017397762","https://openalex.org/W2033242075","https://openalex.org/W2043623772","https://openalex.org/W2049399166","https://openalex.org/W2052647688","https://openalex.org/W2068847249","https://openalex.org/W2101211404","https://openalex.org/W2147273034","https://openalex.org/W2569589113","https://openalex.org/W2773588639","https://openalex.org/W2913459036","https://openalex.org/W2913470569","https://openalex.org/W2993376333","https://openalex.org/W3105807279"],"related_works":["https://openalex.org/W858755136","https://openalex.org/W1981889059","https://openalex.org/W3005864166","https://openalex.org/W2143025323","https://openalex.org/W31328628","https://openalex.org/W3091862538","https://openalex.org/W1969550103","https://openalex.org/W2108751562","https://openalex.org/W1513159096","https://openalex.org/W1988027993"],"abstract_inverted_index":{"Robust":[0],"Linear":[1],"Temporal":[2,15],"Logic":[3,16],"(rLTL)":[4],"was":[5,21,81],"crafted":[6],"to":[7,35,93,104],"incorporate":[8],"the":[9,24,39,43,73,85,102,120,144,152,162],"notion":[10],"of":[11,42,62,75,87,112,164],"robustness":[12,20],"into":[13],"Linear-time":[14],"(LTL)":[17],"specifications.":[18],"Technically,":[19],"formalized":[22],"in":[23,38,127,143,156],"logic":[25],"rLTL":[26,53,77,148,165],"via":[27],"5":[28,64],"different":[29],"truth":[30],"values":[31],"and":[32,139],"it":[33],"led":[34],"an":[36,52,76],"increase":[37],"time":[40,158],"complexity":[41],"associated":[44],"model":[45,50,106,124,149],"checking":[46,51,125,150],"problem.":[47],"In":[48,114],"general,":[49],"formula":[54,78],"relies":[55],"on":[56,137],"constructing":[57],"a":[58,110,157],"generalized":[59],"B\u00fcchi":[60],"automaton":[61,89],"size":[63,86],"|":[65,67,69,71,95,97],"\u03c6":[66,70,96],"where":[68],"denotes":[72],"length":[74],"\u03c6.":[79],"It":[80],"recently":[82],"shown":[83],"that":[84,147,160],"this":[88,115,128],"can":[90],"be":[91,105],"reduced":[92],"3":[94],"(and":[98],"even":[99],"smaller)":[100],"when":[101],"formulas":[103,126,141],"checked":[107],"come":[108],"from":[109],"fragment":[111,154],"rLTL.":[113],"paper,":[116],"we":[117],"introduce":[118],"Evrostos,":[119],"first":[121],"tool":[122],"for":[123,151],"fragment.":[129],"We":[130],"also":[131],"present":[132],"several":[133],"empirical":[134],"studies,":[135],"based":[136],"models":[138],"LTL":[140],"reported":[142],"literature,":[145],"confirming":[146],"aforementioned":[153],"incurs":[155],"overhead":[159],"makes":[161],"verification":[163],"practical.":[166]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":3},{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":1},{"year":2018,"cited_by_count":1}],"updated_date":"2026-04-10T15:06:20.359241","created_date":"2019-04-25T00:00:00"}