Federico Ciccozzi
収録論文 2本 ・ フィジカルAI/ロボット学習
群制御
※arXiv著者名で収集。同姓同名の別人の論文が含まれる場合があります。
論文
- Timed RebecaによるROS2マルチロボットシステムのモデリングとモデル検査群制御2025/11/1
アクターベース言語Timed RebecaでROS2のマルチロボットシステムを離散モデル化し、モデル検査で性質を検証する手法を提案。抽象化戦略と往復エンジニアリングを実証。
- Industry Best Practices in Robotics Software Engineering2022/12/1