{"doi":"10.1007/978-3-662-46681-0_15","title":"dReach: δ-Reachability Analysis for Hybrid Systems","abstract":null,"journal":"Lecture Notes in Computer Science","year":2015,"id":22205,"datarank":8.999866116942073,"base_score":5.327876168789581,"endowment":5.327876168789581,"self_citation_contribution":0.7991814253184373,"citation_network_contribution":8.200684691623636,"self_endowment_contribution":0.7991814253184373,"citer_contribution":8.200684691623636,"corpus_percentile":null,"corpus_rank":null,"citation_count":205,"citer_count":197,"citers_with_citation_signal":157,"citers_with_endowment":157,"datacite_reuse_total":1,"is_dataset":false,"is_dataset_confidence":null,"is_oa":false,"file_count":0,"downloads":0,"has_version_chain":false,"published_date":null,"algorithm_id":"datarank_citation_only_1hop_v6","ranking_scope":"data_only","authors":[{"id":140404,"name":"Sicun Gao","orcid":null,"position":1,"is_corresponding":false},{"id":109275,"name":"Wei Chen","orcid":"0000-0001-7196-8703","position":2,"is_corresponding":false},{"id":140405,"name":"Edmund Clarke","orcid":null,"position":3,"is_corresponding":false},{"id":140403,"name":"Soonho Kong","orcid":null,"position":0,"is_corresponding":false}],"reference_count":0,"raw_metadata":{"has_enrichment":true,"base_score":5.327876168789581,"endowment":5.327876168789581,"datacite_reuse_total":1,"file_count":0,"downloads":0,"views":0,"has_version_chain":false,"is_dataset":false,"is_oa":false,"pmid":"21071399","pmcid":null,"openalex_id":"https://openalex.org/W856973001","authors":[],"funders":[],"total_grants":0,"fwci":36.0941,"citation_percentile":0.99911387,"influential_citations":10,"citation_trend":[{"year":2015,"count":7},{"year":2016,"count":19},{"year":2017,"count":26},{"year":2018,"count":26},{"year":2019,"count":36},{"year":2020,"count":24},{"year":2021,"count":13},{"year":2022,"count":11},{"year":2023,"count":15},{"year":2024,"count":20},{"year":2025,"count":8}],"oa_status":"closed","license":"http://www.springer.com/tdm","oa_locations":[{"url":"http://link.springer.com/content/pdf/10.1007/978-3-662-46681-0_15","host_type":"publisher"},{"url":"https://doi.org/10.1007/978-3-662-46681-0_15","host_type":"book series"}],"fields_of_study":["Formal Methods in Verification","Software Reliability and Analysis Research","Real-Time Systems Scheduling","Computer Science","Engineering","Medicine"],"mesh_terms":[],"keywords":["Reachability","Hybrid system","Computer science","Solver","Bounded function","Nonlinear system","Range (aeronautics)","Reachability problem","Robotics","Artificial intelligence","Theoretical computer science","Algorithm","Robot","Mathematics","Machine learning","Programming language"],"sdg_mappings":[],"linked_datasets":[{"doi":"10.4230/lites.8.2.4","title":"A Hybrid Programming Language for Formal Modeling and Verification of Hybrid Systems","publisher":"Schloss Dagstuhl – Leibniz-Zentrum für Informatik","resource_type":"JournalArticle"}],"clinical_trials":[],"software_tools":[],"database_accessions":[],"source":"live","citation_network_status":"fetched"},"created_at":"2026-06-06T18:17:03.497499Z","pmid":null,"pmcid":null,"fwci":null,"citation_percentile":null,"influential_citations":0,"oa_status":null,"license":null,"views":0,"total_file_size_bytes":0,"version_count":0,"clinical_trials":[],"software_tools":[],"db_accessions":[],"linked_datasets":[],"topics":[]}