著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL "Xiao, Wei and Cassandras, Christos G. and Belta, Calin",Safe autonomy with control barrier functions : theory and applications,,Springer,2023,Synthesis lectures on computer science,,9783031275753,,https://cir.nii.ac.jp/crid/1130019271087998760