Dejan Nickovic
収録論文 2本 ・ フィジカルAI/ロボット学習
形式手法/モニタリング自動運転/マルチエージェント
※arXiv著者名で収集。同姓同名の別人の論文が含まれる場合があります。
論文
- RTAMT:CPSとロボティクス向けの実行時ロバストネスモニタ形式手法/モニタリング2025/1/1
信号時相論理(STL)仕様を定量的に監視するツールRTAMTを提案し、ROSやMATLAB/Simulinkと統合してロボット・CPS応用で評価した。
- 自動運転マルチエージェント向けシナリオベースのカリキュラム自動生成自動運転/マルチエージェント2024/3/1
CARLA上で多様な交通シナリオを自動生成し、マルチエージェント強化学習の適応的カリキュラムを構築するフレームワークMATS-Gymを提案した。