Specialized

Definition

Concurrent MetateMは、主にロボット工学や自律システムで使用される高レベルの仕様記述言語です。開発者は時相論理を使用してエージェントの動作を定義でき、アクション …