類似資料

• ReAct! An Interactive Tool for Hybrid Planning in Robotics
  著者:: Dogmus, Zeynep, 等
  出版事項: (2013)
• Human Robot Collaborative Assembly Planning: An Answer Set Programming Approach
  著者:: Rizwan, Momina, 等
  出版事項: (2020)
• Finding Personalized Good-Enough Solutions to Unsatisfiable Stable Roommates Problems
  著者:: Fidan, Müge, 等
  出版事項: (2025)
• Proceedings Seventh International Workshop on Formal Methods for Autonomous Systems
  著者:: Luckcuck, Matt, 等
  出版事項: (2025)
• Proceedings Sixth International Workshop on Formal Methods for Autonomous Systems
  著者:: Luckcuck, Matt, 等
  出版事項: (2024)