Formal Synthesis of Safety Controllers via k-Inductive Control Barrier Certificates
['Tianxiang Ren', 'Wang Lin', 'Zuohua Ding']
/
IEEE Transactions on Reliability
/ Vol. 74
/ No. 2
まだレビューは投稿されていません。あなたが最初のレビューを書きませんか？