Livia Lestingi

収録論文 2本 ・ フィジカルAI/ロボット学習

※arXiv著者名で収集。同姓同名の別人の論文が含まれる場合があります。

論文

• 信頼性の高い自律システムの構築：課題と解決策
  自律システム2026/6/1

  自律システムの信頼性を高めるための課題と解決策をまとめたワークショップ報告書であり、検証・実世界応用・安全なソフトウェアアーキテクチャの3分野に焦点を当て、今後の研究と産業協力のロードマップを提示している。

• 人間とロボットの協働シナリオを統計的モデル検査で検証する
  HRI検証2020/7/1

  人間とのやり取りを含むロボットアプリをハイブリッドオートマタでモデル化し、Uppaalの統計的モデル検査で性質が成り立つ確率を評価する手法を例示した論文。