「cs.FL」カテゴリーアーカイブ

Coding by Design: GPT-4 empowers Agile Model Driven Development

投稿日: 2023年10月9日 作成者: jarxiv

要約 ChatGPT などの大規模言語モデル (LLM) を使用して自然言語から … 続きを読む →

カテゴリー: cs.AI, cs.FL, cs.MA, cs.PL, cs.SE | Coding by Design: GPT-4 empowers Agile Model Driven Development はコメントを受け付けていません

Towards Model Co-evolution Across Self-Adaptation Steps for Combined Safety and Security Analysis

投稿日: 2023年9月19日 作成者: jarxiv

要約 自己適応システムは、さまざまなチャネルを介した通信と、環境を観察するために … 続きを読む →

カテゴリー: cs.CR, cs.FL, cs.RO, cs.SE | Towards Model Co-evolution Across Self-Adaptation Steps for Combined Safety and Security Analysis はコメントを受け付けていません

Plug in the Safety Chip: Enforcing Constraints for LLM-driven Robot Agents

投稿日: 2023年9月19日 作成者: jarxiv

要約 大規模言語モデル (LLM) の最近の進歩により、事前トレーニング中に得ら … 続きを読む →

カテゴリー: cs.AI, cs.FL, cs.RO | Plug in the Safety Chip: Enforcing Constraints for LLM-driven Robot Agents はコメントを受け付けていません

Conflict-Aware Active Automata Learning (Extended Version)

投稿日: 2023年9月7日 作成者: jarxiv

要約 アクティブ オートマトン学習アルゴリズムは、観測データの矛盾 (同じ入力に … 続きを読む →

カテゴリー: cs.AI, cs.FL, cs.LG | Conflict-Aware Active Automata Learning (Extended Version) はコメントを受け付けていません

Satisfiability Checking of Multi-Variable TPTL with Unilateral Intervals Is PSPACE-Complete

投稿日: 2023年9月4日 作成者: jarxiv

要約 時限命題時間論理(TPTL)の${0, \infty}$ 断片の決定可能性 … 続きを読む →

カテゴリー: cs.CL, cs.FL, cs.LO, F.1.1 | Satisfiability Checking of Multi-Variable TPTL with Unilateral Intervals Is PSPACE-Complete はコメントを受け付けていません

Symbolic LTLf Best-Effort Synthesis

投稿日: 2023年8月30日 作成者: jarxiv

要約 非決定的な環境でタスクを遂行するために動作するエージェントを考慮します。 … 続きを読む →

カテゴリー: cs.AI, cs.FL, cs.GT, cs.LO, cs.RO | Symbolic LTLf Best-Effort Synthesis はコメントを受け付けていません

LTLf Synthesis Under Environment Specifications for Reachability and Safety Properties

投稿日: 2023年8月30日 作成者: jarxiv

要約 この論文では、任意の到達可能性と安全性特性の環境仕様の下での LTLf 合 … 続きを読む →

カテゴリー: cs.AI, cs.FL, cs.LO, cs.SY, eess.SY | LTLf Synthesis Under Environment Specifications for Reachability and Safety Properties はコメントを受け付けていません

LTLf Best-Effort Synthesis in Nondeterministic Planning Domains

投稿日: 2023年8月30日 作成者: jarxiv

要約 私たちは、有限トレース上の線形時相論理 (LTLf) で表現された目標に向 … 続きを読む →

カテゴリー: cs.AI, cs.FL, cs.GT, cs.RO | LTLf Best-Effort Synthesis in Nondeterministic Planning Domains はコメントを受け付けていません

A Measure-Theoretic Characterization of Tight Language Models

投稿日: 2023年8月23日 作成者: jarxiv

要約 自然言語処理の中心的なタスクである言語モデリングには、文字列全体の確率分布 … 続きを読む →

カテゴリー: cs.CL, cs.FL | A Measure-Theoretic Characterization of Tight Language Models はコメントを受け付けていません

Weakly synchronous systems with three machines are Turing powerful

投稿日: 2023年8月22日 作成者: jarxiv

要約 通信有限状態マシン (CFM) は、非同期メッセージ パッシング分散システ … 続きを読む →

カテゴリー: cs.CL, cs.FL | Weakly synchronous systems with three machines are Turing powerful はコメントを受け付けていません