論文の概要: Controller Synthesis for Timeline-based Games

• arxiv url: http://arxiv.org/abs/2209.10319v1
• Date: Wed, 21 Sep 2022 12:45:34 GMT
• ステータス: 処理完了
• システム内更新日: 2022-09-22 16:07:16.318404
• Title: Controller Synthesis for Timeline-based Games
• Title（参考訳）: 時系列ゲームのためのコントローラ合成
• Authors: Renato Acampora (University of Udine, Italy), Luca Geatti (Free University of Bozen-Bolzano, Italy), Nicola Gigante (Free University of Bozen-Bolzano, Italy), Angelo Montanari (University of Udine, Italy), Valentino Picotti (University of Southern Denmark)
• Abstract要約: タイムラインベースのゲームの概念が最近導入された。 このようなゲームに勝利戦略が存在するかどうかが2EXPTIME完全であることが証明されている。 本稿では,タイムライン型ゲームにおけるコントローラ合成のアプローチについて概説する。
• 参考スコア（独自算出の注目度）: 0.0
• License: http://creativecommons.org/licenses/by/4.0/
• Abstract: In the timeline-based approach to planning, originally born in the space sector, the evolution over time of a set of state variables (the timelines) is governed by a set of temporal constraints. Traditional timeline-based planning systems excel at the integration of planning with execution by handling temporal uncertainty. In order to handle general nondeterminism as well, the concept of timeline-based games has been recently introduced. It has been proved that finding whether a winning strategy exists for such games is 2EXPTIME-complete. However, a concrete approach to synthesize controllers implementing such strategies is missing. This paper fills this gap, outlining an approach to controller synthesis for timeline-based games.
• Abstract（参考訳）: 計画計画へのタイムラインベースのアプローチは、もともと宇宙部門で生まれたが、状態変数(タイムライン)の集合の時間的変化は、時間的制約の集合によって制御される。 従来のタイムラインベースの計画システムは、時間的不確実性を扱うことによって計画と実行の統合に優れている。 一般の非決定性を扱うために、タイムラインベースのゲームの概念が最近導入された。 このようなゲームに勝利戦略が存在するかどうかが2EXPTIME完全であることが証明されている。 しかし、そのような戦略を実装するコントローラを合成する具体的なアプローチは欠落している。 本稿では,このギャップを埋め,時系列ゲームにおけるコントローラ合成のアプローチを概説する。

関連論文リスト

• Controller Synthesis for Timeline-based Games [4.131381439766829]
  スケジュールに基づく計画手法では、状態変数のセット(タイムライン)の時間的進化は時間的制約によって制御される。 伝統的なタイムラインベースの計画システムは、時間的不確実性に対処して計画と実行を統合するのに優れている。 一般の非決定性を扱うために、タイムラインベースのゲームの概念が最近導入された。
  論文  参考訳（メタデータ） (2023-07-23T10:52:20Z)
• Koopa: Learning Non-stationary Time Series Dynamics with Koopman Predictors [85.22004745984253]
  実世界の時系列は、深い予測モデルにとって大きな課題となる固有の非定常性によって特徴づけられる。 我々は、基礎となる時間変動力学を根本的に考慮する現代のクープマン理論を用いて、非定常時系列に取り組む。 階層的力学を学習する積み重ね可能なブロックからなる新しいクープマン予測器としてクーパを提案する。
  論文  参考訳（メタデータ） (2023-05-30T07:40:27Z)
• The Update-Equivalence Framework for Decision-Time Planning [78.44953498421854]
  本稿では,サブゲームの解決ではなく,更新等価性に基づく意思決定時計画のための代替フレームワークを提案する。 ミラー降下に基づく完全協調型ゲームに対する有効音声探索アルゴリズムと、磁気ミラー降下に基づく対戦型ゲームに対する探索アルゴリズムを導出する。
  論文  参考訳（メタデータ） (2023-04-25T20:28:55Z)
• Time Travel Paradoxes and Entangled Timelines [0.0]
  並列タイムラインを作成するための具体的なメカニズムを提案する。 タイムラインは、タイムマシンと環境の間の量子的絡み合いによって生成される。 絡み合いが追加のシステムに拡がるにつれて、タイムラインも広がり、文学でしばしば提示される単純で明確な「ブラッシング・タイムライン」の代替となる。
  論文  参考訳（メタデータ） (2023-03-14T05:30:50Z)
• ST-P3: End-to-end Vision-based Autonomous Driving via Spatial-Temporal Feature Learning [132.20119288212376]
  本稿では,認識,予測,計画タスクを同時に行うための,より代表的な特徴の集合に対する時空間的特徴学習手法を提案する。 私たちの知識を最大限に活用するために、私たちは、解釈可能なエンドツーエンドの自動運転システムの各部分を体系的に調査した最初の人です。
  論文  参考訳（メタデータ） (2022-07-15T16:57:43Z)
• ECOTS: Early Classification in Open Time Series [0.0]
  オープンタイムシリーズの早期分類(ECOTS)にどのような手法を適応させるかを示す。 ECOTSシナリオのための2つの最先端アルゴリズムを変換し、予測保守のための実際のデータセットに関する数値実験を報告する。
  論文  参考訳（メタデータ） (2022-04-01T12:34:26Z)
• Distributed Control using Reinforcement Learning with Temporal-Logic-Based Reward Shaping [0.2320417845168326]
  本研究では,異種ロボットの分散制御戦略を部分的に観測可能な環境下で合成するためのフレームワークを提案する。 提案手法では,合成問題をゲームとして定式化し,ポリシーグラフ法を用いて各エージェントのメモリによる制御戦略を求める。 我々はTLTLの量的意味論をゲームの報酬として使用し、さらに有限状態オートマトンを用いて学習プロセスのガイドと高速化を行う。
  論文  参考訳（メタデータ） (2022-03-08T16:03:35Z)
• Trajectory tracking for non-Markovian quantum systems [0.0]
  非マルコフマスター方程式によって支配される量子系の量子状態を設計するための体系的スキームを提案する。 そこで我々は,実験環境で利用できる制御パラメータを用いた瞬時定常状態追跡と全集団逆転を実現する。
  論文  参考訳（メタデータ） (2022-01-04T02:23:56Z)
• The Design Of "Stratega": A General Strategy Games Framework [62.997667081978825]
  Strategaはターンベースおよびリアルタイム戦略ゲームを作成するためのフレームワークである。 このフレームワークは、統計的フォワードプランニング(SFP)エージェントに焦点を当てて構築されている。 我々は,このフレームワークとそのエージェントの開発が,戦略ゲームにおける複雑な意思決定プロセスの理解に役立つことを願っている。
  論文  参考訳（メタデータ） (2020-09-11T20:02:00Z)
• Supporting Optimal Phase Space Reconstructions Using Neural Network Architecture for Time Series Modeling [68.8204255655161]
  位相空間特性を暗黙的に学習する機構を持つ人工ニューラルネットワークを提案する。 私たちのアプローチは、ほとんどの最先端戦略と同じくらいの競争力があるか、あるいは優れているかのどちらかです。
  論文  参考訳（メタデータ） (2020-06-19T21:04:47Z)
• STRIPS Action Discovery [67.73368413278631]
  近年のアプローチでは、すべての中間状態が欠如している場合でも、アクションモデルを合成する古典的な計画が成功している。 アクションシグネチャが不明な場合に,従来のプランナーを用いてSTRIPSアクションモデルを教師なしで合成するアルゴリズムを提案する。
  論文  参考訳（メタデータ） (2020-01-30T17:08:39Z)

関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。

指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。