{"id":"https://openalex.org/W2964694101","doi":"https://doi.org/10.29007/nrv8","title":"ARCH-COMP19 Category Report: Hybrid Systems Theorem Proving","display_name":"ARCH-COMP19 Category Report: Hybrid Systems Theorem Proving","publication_year":2019,"publication_date":"2019-06-05","ids":{"openalex":"https://openalex.org/W2964694101","doi":"https://doi.org/10.29007/nrv8","mag":"2964694101"},"language":"en","primary_location":{"id":"doi:10.29007/nrv8","is_oa":true,"landing_page_url":"https://doi.org/10.29007/nrv8","pdf_url":"https://easychair.org/publications/open/mSQ6","source":{"id":"https://openalex.org/S4220651395","display_name":"EPiC series in computing","issn_l":"2398-7340","issn":["2398-7340"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"EPiC Series in Computing","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://easychair.org/publications/open/mSQ6","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5071735146","display_name":"Stefan Mitsch","orcid":"https://orcid.org/0000-0002-3194-9759"},"institutions":[{"id":"https://openalex.org/I74973139","display_name":"Carnegie Mellon University","ror":"https://ror.org/05x2bcf33","country_code":"US","type":"education","lineage":["https://openalex.org/I74973139"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Stefan Mitsch","raw_affiliation_strings":["Computer Science Department, Carnegie Mellon University, Pittsburgh, PA, USA"],"affiliations":[{"raw_affiliation_string":"Computer Science Department, Carnegie Mellon University, Pittsburgh, PA, USA","institution_ids":["https://openalex.org/I74973139"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5084578641","display_name":"Andrew Sogokon","orcid":"https://orcid.org/0000-0002-5849-7991"},"institutions":[{"id":"https://openalex.org/I74973139","display_name":"Carnegie Mellon University","ror":"https://ror.org/05x2bcf33","country_code":"US","type":"education","lineage":["https://openalex.org/I74973139"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Andrew Sogokon","raw_affiliation_strings":["Computer Science Department, Carnegie Mellon University, Pittsburgh, PA, USA"],"affiliations":[{"raw_affiliation_string":"Computer Science Department, Carnegie Mellon University, Pittsburgh, PA, USA","institution_ids":["https://openalex.org/I74973139"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5021598141","display_name":"Yong Kiam Tan","orcid":"https://orcid.org/0000-0001-7033-2463"},"institutions":[{"id":"https://openalex.org/I74973139","display_name":"Carnegie Mellon University","ror":"https://ror.org/05x2bcf33","country_code":"US","type":"education","lineage":["https://openalex.org/I74973139"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Yong Kiam Tan","raw_affiliation_strings":["Computer Science Department, Carnegie Mellon University, Pittsburgh, PA, USA"],"affiliations":[{"raw_affiliation_string":"Computer Science Department, Carnegie Mellon University, Pittsburgh, PA, USA","institution_ids":["https://openalex.org/I74973139"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5067058220","display_name":"Xiangyu Jin","orcid":null},"institutions":[{"id":"https://openalex.org/I19820366","display_name":"Chinese Academy of Sciences","ror":"https://ror.org/034t30j35","country_code":"CN","type":"funder","lineage":["https://openalex.org/I19820366"]},{"id":"https://openalex.org/I4210128818","display_name":"Institute of Software","ror":"https://ror.org/033dfsn42","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210128818"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xiangyu Jin","raw_affiliation_strings":["State Key Lab of Computer Science, Institute of Software, Chinese Academy of Sciences"],"affiliations":[{"raw_affiliation_string":"State Key Lab of Computer Science, Institute of Software, Chinese Academy of Sciences","institution_ids":["https://openalex.org/I4210128818","https://openalex.org/I19820366"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5078226330","display_name":"Bohua Zhan","orcid":"https://orcid.org/0000-0001-5377-9351"},"institutions":[{"id":"https://openalex.org/I4210128818","display_name":"Institute of Software","ror":"https://ror.org/033dfsn42","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210128818"]},{"id":"https://openalex.org/I19820366","display_name":"Chinese Academy of Sciences","ror":"https://ror.org/034t30j35","country_code":"CN","type":"funder","lineage":["https://openalex.org/I19820366"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Bohua Zhan","raw_affiliation_strings":["State Key Lab of Computer Science, Institute of Software, Chinese Academy of Sciences"],"affiliations":[{"raw_affiliation_string":"State Key Lab of Computer Science, Institute of Software, Chinese Academy of Sciences","institution_ids":["https://openalex.org/I4210128818","https://openalex.org/I19820366"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100683178","display_name":"Shuling Wang","orcid":"https://orcid.org/0000-0002-3517-2588"},"institutions":[{"id":"https://openalex.org/I4210128818","display_name":"Institute of Software","ror":"https://ror.org/033dfsn42","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210128818"]},{"id":"https://openalex.org/I19820366","display_name":"Chinese Academy of Sciences","ror":"https://ror.org/034t30j35","country_code":"CN","type":"funder","lineage":["https://openalex.org/I19820366"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Shuling Wang","raw_affiliation_strings":["State Key Lab of Computer Science, Institute of Software, Chinese Academy of Sciences"],"affiliations":[{"raw_affiliation_string":"State Key Lab of Computer Science, Institute of Software, Chinese Academy of Sciences","institution_ids":["https://openalex.org/I4210128818","https://openalex.org/I19820366"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5026435847","display_name":"Naijun Zhan","orcid":"https://orcid.org/0000-0003-3298-3817"},"institutions":[{"id":"https://openalex.org/I4210128818","display_name":"Institute of Software","ror":"https://ror.org/033dfsn42","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210128818"]},{"id":"https://openalex.org/I19820366","display_name":"Chinese Academy of Sciences","ror":"https://ror.org/034t30j35","country_code":"CN","type":"funder","lineage":["https://openalex.org/I19820366"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Naijun Zhan","raw_affiliation_strings":["State Key Lab of Computer Science, Institute of Software, Chinese Academy of Sciences"],"affiliations":[{"raw_affiliation_string":"State Key Lab of Computer Science, Institute of Software, Chinese Academy of Sciences","institution_ids":["https://openalex.org/I4210128818","https://openalex.org/I19820366"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":7,"corresponding_author_ids":["https://openalex.org/A5071735146"],"corresponding_institution_ids":["https://openalex.org/I74973139"],"apc_list":null,"apc_paid":null,"fwci":0.2,"has_fulltext":true,"cited_by_count":2,"citation_normalized_percentile":{"value":0.54626689,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"61","issue":null,"first_page":"141","last_page":"119"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9973999857902527,"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.9973999857902527,"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.9940000176429749,"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.9775000214576721,"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/computer-science","display_name":"Computer science","score":0.6941795945167542},{"id":"https://openalex.org/keywords/focus","display_name":"Focus (optics)","score":0.6231818199157715},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.6216954588890076},{"id":"https://openalex.org/keywords/automated-theorem-proving","display_name":"Automated theorem proving","score":0.6034488081932068},{"id":"https://openalex.org/keywords/hybrid-system","display_name":"Hybrid system","score":0.5853208303451538},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.5570879578590393},{"id":"https://openalex.org/keywords/scripting-language","display_name":"Scripting language","score":0.5527282953262329},{"id":"https://openalex.org/keywords/flexibility","display_name":"Flexibility (engineering)","score":0.5400233268737793},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4773060083389282},{"id":"https://openalex.org/keywords/scalability","display_name":"Scalability","score":0.4710417091846466},{"id":"https://openalex.org/keywords/parametric-statistics","display_name":"Parametric statistics","score":0.429858922958374},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.21993494033813477}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6941795945167542},{"id":"https://openalex.org/C192209626","wikidata":"https://www.wikidata.org/wiki/Q190909","display_name":"Focus (optics)","level":2,"score":0.6231818199157715},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6216954588890076},{"id":"https://openalex.org/C206880738","wikidata":"https://www.wikidata.org/wiki/Q431667","display_name":"Automated theorem proving","level":2,"score":0.6034488081932068},{"id":"https://openalex.org/C50897621","wikidata":"https://www.wikidata.org/wiki/Q2665508","display_name":"Hybrid system","level":2,"score":0.5853208303451538},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.5570879578590393},{"id":"https://openalex.org/C61423126","wikidata":"https://www.wikidata.org/wiki/Q187432","display_name":"Scripting language","level":2,"score":0.5527282953262329},{"id":"https://openalex.org/C2780598303","wikidata":"https://www.wikidata.org/wiki/Q65921492","display_name":"Flexibility (engineering)","level":2,"score":0.5400233268737793},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4773060083389282},{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.4710417091846466},{"id":"https://openalex.org/C117251300","wikidata":"https://www.wikidata.org/wiki/Q1849855","display_name":"Parametric statistics","level":2,"score":0.429858922958374},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.21993494033813477},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.0},{"id":"https://openalex.org/C120665830","wikidata":"https://www.wikidata.org/wiki/Q14620","display_name":"Optics","level":1,"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/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","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}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.29007/nrv8","is_oa":true,"landing_page_url":"https://doi.org/10.29007/nrv8","pdf_url":"https://easychair.org/publications/open/mSQ6","source":{"id":"https://openalex.org/S4220651395","display_name":"EPiC series in computing","issn_l":"2398-7340","issn":["2398-7340"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"EPiC Series in Computing","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.29007/nrv8","is_oa":true,"landing_page_url":"https://doi.org/10.29007/nrv8","pdf_url":"https://easychair.org/publications/open/mSQ6","source":{"id":"https://openalex.org/S4220651395","display_name":"EPiC series in computing","issn_l":"2398-7340","issn":["2398-7340"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"EPiC Series in Computing","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1121271761","display_name":null,"funder_award_id":"Program","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G1231421488","display_name":null,"funder_award_id":"under","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G1523888516","display_name":null,"funder_award_id":"FA9550-","funder_id":"https://openalex.org/F4320338279","funder_display_name":"Air Force Office of Scientific Research"},{"id":"https://openalex.org/G1828425977","display_name":null,"funder_award_id":"973 Program","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G2160159378","display_name":null,"funder_award_id":"No. 61625206","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G230078430","display_name":null,"funder_award_id":"FA9550-16","funder_id":"https://openalex.org/F4320338279","funder_display_name":"Air Force Office of Scientific Research"},{"id":"https://openalex.org/G2503625421","display_name":null,"funder_award_id":"No. 2014CB340701","funder_id":"https://openalex.org/F4320335777","funder_display_name":"National Key Research and Development Program of China"},{"id":"https://openalex.org/G2990797665","display_name":null,"funder_award_id":"2014CB340701","funder_id":"https://openalex.org/F4320335777","funder_display_name":"National Key Research and Development Program of China"},{"id":"https://openalex.org/G3291759789","display_name":null,"funder_award_id":"61732001","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G3317480652","display_name":null,"funder_award_id":"Science","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G3392305090","display_name":null,"funder_award_id":"-16-1-","funder_id":"https://openalex.org/F4320338279","funder_display_name":"Air Force Office of Scientific Research"},{"id":"https://openalex.org/G3423355903","display_name":null,"funder_award_id":"FA8750-18-C-0092","funder_id":"https://openalex.org/F4320332467","funder_display_name":"U.S. Air Force"},{"id":"https://openalex.org/G3616359867","display_name":null,"funder_award_id":"FA9550-16-1","funder_id":"https://openalex.org/F4320338279","funder_display_name":"Air Force Office of Scientific Research"},{"id":"https://openalex.org/G3731187077","display_name":null,"funder_award_id":"61625206 and 61732001","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G391238517","display_name":null,"funder_award_id":", and","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G4215626907","display_name":null,"funder_award_id":"FA8750-18-C-009","funder_id":"https://openalex.org/F4320332180","funder_display_name":"Defense Advanced Research Projects Agency"},{"id":"https://openalex.org/G4713059963","display_name":null,"funder_award_id":"FA8750","funder_id":"https://openalex.org/F4320332180","funder_display_name":"Defense Advanced Research Projects Agency"},{"id":"https://openalex.org/G4895191527","display_name":null,"funder_award_id":"FA8750-18-C-0092","funder_id":"https://openalex.org/F4320332180","funder_display_name":"Defense Advanced Research Projects Agency"},{"id":"https://openalex.org/G5171771356","display_name":null,"funder_award_id":"2014CB","funder_id":"https://openalex.org/F4320335777","funder_display_name":"National Key Research and Development Program of China"},{"id":"https://openalex.org/G5543570208","display_name":null,"funder_award_id":"61625206","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G5809100787","display_name":null,"funder_award_id":"FA9550","funder_id":"https://openalex.org/F4320338279","funder_display_name":"Air Force Office of Scientific Research"},{"id":"https://openalex.org/G5921281487","display_name":null,"funder_award_id":"number","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G7090116110","display_name":null,"funder_award_id":"FA9550","funder_id":"https://openalex.org/F4320332467","funder_display_name":"U.S. Air Force"},{"id":"https://openalex.org/G7098913029","display_name":null,"funder_award_id":"FA9550-16-1-0288","funder_id":"https://openalex.org/F4320338279","funder_display_name":"Air Force Office of Scientific Research"},{"id":"https://openalex.org/G7554390833","display_name":null,"funder_award_id":"No. FA8750-18-C-0092","funder_id":"https://openalex.org/F4320332180","funder_display_name":"Defense Advanced Research Projects Agency"},{"id":"https://openalex.org/G7608752429","display_name":null,"funder_award_id":"Talent","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G8208342437","display_name":null,"funder_award_id":"1 and","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G8313901925","display_name":"CPS: Small: Sound Invariant Generation for Continuous and Hybrid Systems","funder_award_id":"1739629","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G848032724","display_name":null,"funder_award_id":"Science","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G8521281903","display_name":null,"funder_award_id":"AFOSR","funder_id":"https://openalex.org/F4320332467","funder_display_name":"U.S. Air Force"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"},{"id":"https://openalex.org/F4320332180","display_name":"Defense Advanced Research Projects Agency","ror":"https://ror.org/02caytj08"},{"id":"https://openalex.org/F4320332467","display_name":"U.S. Air Force","ror":"https://ror.org/006gmme17"},{"id":"https://openalex.org/F4320335777","display_name":"National Key Research and Development Program of China","ror":null},{"id":"https://openalex.org/F4320338279","display_name":"Air Force Office of Scientific Research","ror":"https://ror.org/011e9bt93"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2964694101.pdf","grobid_xml":"https://content.openalex.org/works/W2964694101.grobid-xml"},"referenced_works_count":53,"referenced_works":["https://openalex.org/W107352449","https://openalex.org/W156110352","https://openalex.org/W634869298","https://openalex.org/W1510918931","https://openalex.org/W1515307033","https://openalex.org/W1575486920","https://openalex.org/W1581387743","https://openalex.org/W1582564524","https://openalex.org/W1590463358","https://openalex.org/W1604594753","https://openalex.org/W1607353007","https://openalex.org/W1627251346","https://openalex.org/W1949723230","https://openalex.org/W1968254796","https://openalex.org/W1977444293","https://openalex.org/W1979646426","https://openalex.org/W1982828147","https://openalex.org/W1986385081","https://openalex.org/W1995434986","https://openalex.org/W2000040887","https://openalex.org/W2033118636","https://openalex.org/W2046413510","https://openalex.org/W2049768769","https://openalex.org/W2075133940","https://openalex.org/W2080884201","https://openalex.org/W2101389394","https://openalex.org/W2106192381","https://openalex.org/W2106606898","https://openalex.org/W2115807748","https://openalex.org/W2125614702","https://openalex.org/W2130519480","https://openalex.org/W2130705439","https://openalex.org/W2153173530","https://openalex.org/W2295906355","https://openalex.org/W2296004247","https://openalex.org/W2346648140","https://openalex.org/W2407773024","https://openalex.org/W2561211292","https://openalex.org/W2594023913","https://openalex.org/W2737512261","https://openalex.org/W2747477340","https://openalex.org/W2786512487","https://openalex.org/W2885880873","https://openalex.org/W2889545727","https://openalex.org/W2898746281","https://openalex.org/W2930214830","https://openalex.org/W3098812810","https://openalex.org/W3101115050","https://openalex.org/W4253424231","https://openalex.org/W4256074395","https://openalex.org/W4311273054","https://openalex.org/W4379506493","https://openalex.org/W6633483102"],"related_works":["https://openalex.org/W2046765700","https://openalex.org/W4384345686","https://openalex.org/W2357937784","https://openalex.org/W2547618384","https://openalex.org/W4394391052","https://openalex.org/W2145834781","https://openalex.org/W2577782152","https://openalex.org/W262455470","https://openalex.org/W4242899858","https://openalex.org/W2356327704"],"abstract_inverted_index":{"This":[0,161],"paper":[1,233],"reports":[2],"on":[3,207],"the":[4,12,23,29,78,92,104,124,135,149,170,202,209,216],"Hybrid":[5],"Systems":[6],"Theorem":[7],"Proving":[8],"(HSTP)":[9],"category":[10,25,65],"in":[11,28,90,114,143,177,201,208,231],"ARCH-COMP":[13],"Friendly":[14],"Competition":[15],"2019.":[16],"The":[17,34,46,55,63,182,221],"most":[18],"important":[19],"characteristic":[20],"features":[21,67],"of":[22,36,50,58,80,123,148,172,184,223],"HSTP":[24,64,83],"remain":[26],"as":[27,39,121,138,234],"previous":[30],"edition":[31],"[MST+18]:":[32],"i)":[33],"flexibility":[35],"programming":[37],"languages":[38],"structuring":[40],"principles":[41],"for":[42,192],"hybrid":[43,74,106,178],"systems,":[44],"ii)":[45],"unambiguity":[47],"and":[48,53,70,73,108,174,226],"precision":[49],"program":[51],"semantics,":[52],"iii)":[54],"mathematical":[56],"rigor":[57],"logical":[59],"reason-":[60],"ing":[61],"principles.":[62],"especially":[66],"many":[68],"nonlinear":[69],"parametric":[71],"continuous":[72],"systems.":[75],"Owing":[76],"to":[77,130,167,199,218],"nature":[79],"theorem":[81,180],"proving,":[82],"again":[84],"accommodates":[85],"three":[86,186],"modes:":[87],"A)":[88],"Automatic":[89],"which":[91,115,144],"entire":[93],"verification":[94,150],"is":[95,151],"performed":[96],"fully":[97],"automatically":[98],"without":[99],"any":[100],"additional":[101],"input":[102,125],"beyond":[103],"original":[105],"system":[107,136],"its":[109],"safety":[110],"specification.":[111],"H)":[112],"Hints":[113],"select":[116],"proof":[117,155,159,213],"hints":[118],"are":[119,229],"provided":[120],"part":[122,147],"problem":[126],"specification,":[127],"allowing":[128],"users":[129],"communicate":[131],"specific":[132],"advice":[133],"about":[134],"such":[137],"loop":[139],"invariants.":[140],"S)":[141],"Scripted":[142],"a":[145,196],"significant":[146],"done":[152],"with":[153,195],"dedicated":[154],"scripts":[156],"or":[157],"problem-specific":[158],"tactics.":[160],"threefold":[162],"split":[163],"makes":[164,189],"it":[165,190],"possible":[166],"better":[168],"identify":[169],"sources":[171],"scalability":[173],"efficiency":[175],"bottlenecks":[176],"systems":[179],"proving.":[181],"existence":[183],"all":[185,215],"categories":[187],"also":[188],"easier":[191],"new":[193],"tools":[194],"different":[197],"focus":[198,206],"participate":[200],"competition,":[203],"wherever":[204],"they":[205],"spectrum":[210],"from":[211],"fast":[212],"checking":[214],"way":[217],"full":[219],"automation.":[220],"types":[222],"benchmarks":[224],"considered":[225],"experimental":[227],"findings":[228],"described":[230],"this":[232],"well.":[235]},"counts_by_year":[{"year":2023,"cited_by_count":1},{"year":2020,"cited_by_count":1}],"updated_date":"2026-04-13T07:58:08.660418","created_date":"2025-10-10T00:00:00"}