Has the paper 'Runtime Verification on Hierarchical Properties of ROS-Based Robot Swarms' not been published by Chi Hu in IEEE Trans. Reliab.?
Did Chi Hu not publish the paper 'Runtime Verification on Hierarchical Properties of ROS-Based Robot Swarms' in IEEE Trans. Reliab.?
ASK { <https://dblp.org/rec/journals/tr/HuDYSZ20> <https://dblp.org/rdf/schema#authoredBy> <https://dblp.org/pid/88/9232> . <https://dblp.org/rec/journals/tr/HuDYSZ20> <https://dblp.org/rdf/schema#publishedIn> 'IEEE Trans. Reliab.' FILTER NOT EXISTS { <https://dblp.org/rec/journals/tr/HuDYSZ20> <https://dblp.org/rdf/schema#authoredBy> <https://dblp.org/pid/88/9232> . <https://dblp.org/rec/journals/tr/HuDYSZ20> <https://dblp.org/rdf/schema#publishedIn> 'IEEE Trans. Reliab.' } }
<https://dblp.org/pid/88/9232> <https://dblp.org/rec/journals/tr/HuDYSZ20>