ホーム›研究者DB›Benjamin MartinBenjamin Martin収録論文 1本 ・ フィジカルAI/ロボット学習※arXiv著者名で収集。同姓同名の別人の論文が含まれる場合があります。論文Formal Verification of Station Keeping Maneuvers for a Planar Autonomous Hybrid System2017/9/1主な共著者Eric Goubault1Khalil Ghorbal1Sylvie Putot1← 研究者DB