以下の論文が ATC 2019に採択されました。 Analysis space reduction with state merging for ensuring safety properties of self-ad […]
本位田研究室は2018年度に新設されたまだまだ新しい研究室です. 自律エージェント工学をテーマとして、環境の変化に合わせて自分の振る舞いを切り替える「自己適応システム」を中心に研究をしています。 皆さんも一緒に自律エージ […]
2018年12月20日(木)― 22日(土)に、箱根にて、「Third International Workshop on Software Engineering for Cyber-Physical-Social S […]
2018年12月6日(木)に、グリーンコンピューティングシステム研究センターにて、「Directed Controller Synthesis(DCS)」をテーマに、Buenos Aires大学のNicolas D […]
2018年11月30日に箱根にて電気通信大学と合同で冬季研究集会を開催致しました。研究集会ではモブプログラミングの実践をテーマにProcessingを用いて学生の自己紹介プログラムをチームで開発しました。研究集会を通じて […]
2018年7月28日(土)― 31日(火)にシンガポールにてThe 3rd IEEE International Conference on Agents(ICA2018)が開催されました。本位田研究室からは相澤さんの投 […]
2018年7月23日(月)- 27日(金)にCOMPSAC2018:The 42nd IEEE International Conference on Computers, Software & Applicat […]