{"doi":"10.1109/robot.2005.1570852","title":"Formal Verification of Robot Movements - a Case Study on Home Service Robot SHR100","abstract":null,"journal":"Proceedings of the 2005 IEEE International Conference on Robotics and Automation","year":null,"id":36259,"datarank":3.3478246304198587,"base_score":3.4657359027997265,"endowment":3.4657359027997265,"self_citation_contribution":0.519860385419959,"citation_network_contribution":2.8279642449998996,"self_endowment_contribution":0.519860385419959,"citer_contribution":2.8279642449998996,"corpus_percentile":null,"corpus_rank":null,"citation_count":31,"citer_count":30,"citers_with_citation_signal":26,"citers_with_endowment":26,"datacite_reuse_total":0,"is_dataset":false,"is_dataset_confidence":null,"is_data_producer":false,"deposit_databanks":null,"is_oa":false,"file_count":0,"downloads":0,"has_version_chain":false,"published_date":null,"fair_score":null,"fair_percentile":null,"algorithm_id":"datarank_citation_only_1hop_v6","ranking_scope":"data_only","authors":[{"id":184045,"name":"Kyo Chul Kang","orcid":null,"position":1,"is_corresponding":false},{"id":184046,"name":"Hyoungki Lee","orcid":null,"position":2,"is_corresponding":false},{"id":184044,"name":"Moonzoo Kim","orcid":null,"position":0,"is_corresponding":false}],"reference_count":0,"raw_metadata":{"has_enrichment":true,"base_score":3.4657359027997265,"endowment":3.4657359027997265,"datacite_reuse_total":0,"file_count":0,"downloads":0,"views":0,"has_version_chain":false,"is_dataset":false,"is_oa":false,"pmid":"18998881","pmcid":null,"openalex_id":"https://openalex.org/W2109596994","authors":[],"funders":[],"total_grants":0,"fwci":2.3592,"citation_percentile":0.88653549,"influential_citations":2,"citation_trend":[{"year":2012,"count":2},{"year":2014,"count":1},{"year":2015,"count":3},{"year":2016,"count":2},{"year":2017,"count":3},{"year":2018,"count":2},{"year":2019,"count":2},{"year":2021,"count":1},{"year":2023,"count":2},{"year":2025,"count":1}],"oa_status":"closed","license":null,"oa_locations":[{"url":"https://doi.org/10.1109/robot.2005.1570852","host_type":""},{"url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.102.672","host_type":""},{"url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.709.5761","host_type":""},{"url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.74.8837","host_type":""},{"url":"http://hdl.handle.net/10203/474","host_type":"repository"}],"fields_of_study":["Formal Methods in Verification","Robotic Path Planning Algorithms","Real-Time Systems Scheduling","Engineering","Computer Science"],"mesh_terms":[],"keywords":["Robot","Service (business)","Service robot","Computer science","Software deployment","Human–computer interaction","Personal robot","Robot control","Mobile robot","Artificial intelligence","Software engineering","Business"],"sdg_mappings":[{"sdg_number":0,"sdg_label":"Industry, innovation and infrastructure"}],"linked_datasets":[],"clinical_trials":[],"software_tools":[],"database_accessions":[],"source":"live","citation_network_status":"fetched"},"created_at":"2026-06-10T15:10:08.829798Z","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,"fair_f":null,"fair_a":null,"fair_i":null,"fair_r":null,"fair_zscore":null,"fair_rationale":null,"fair_model":null,"fair_agent_version":null,"fair_fulltext_source":null,"fair_has_llm":null,"fair_computed_at":null,"clinical_trials":[],"software_tools":[],"db_accessions":[],"linked_datasets":[],"topics":[]}