修士論文発表会が行われました

2月8日(火)に社会システム数理領域の修士論文発表会が行われました。本研究室からは6名の学生が以下の題名で発表しました。

• 大浦　稜平：Bounded Synthesis and Reinforcement Learning based Optimal Controllers Synthesis for Stochastic Discrete Event Systems with LTL Specifications
  　　　　　（有界設計法と強化学習に基づく確率的離散事象システムに対する線形時相論理仕様を満たす最適制御器の設計）
• 衣川　琢磨：Optimal Controller and Planner Synthesis with Temporal Logic Specifications over Finite Traces
  　　　　　（有限トレース上の時相論理仕様のもとでの最適制御器及びプランナーの設計）
• 津曲　夏子：時相論理制御仕様の下でのローバー・コプター協調探索問題における未知環境の学習
• 戸田　康介：Game-theoretic Analysis of Miners’ Decision-making in Blockchain Networks
  　　　　　（ブロックチェーンネットワークにおけるマイナーの意思決定のゲーム理論的解析）
• 深浦　尋：UAV監視支援インタフェースに向けたカメラ動画のQoS最適化アルゴリズム
• Bian Yadi：強化学習と形式手法を用いたマルチエージェントシステムに対する衝突回避制御