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
以下为公开数据预览。个性化匹配理由、联系角度和保存能力需要登录后使用。