APPLICATION
教授マッチング
Public Professor Archive
南山大学 · 理工学部 · 教授
南山大学 · 理工学部 · 教授
研究キーワードformal methods for control・symbolic control barrier functions・safe control shields・linear temporal logic・multi-robot path planning・reinforcement learning for supervisors・UAV deployment after disasters・timed Petri nets・fractional-order replicator dynamics・blockchain decision dynamics
ここは公開データのプレビューです。個別の適合理由、連絡角度、保存機能はログイン後に利用できます。