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

Logical Characterizations of Recurrent Graph Neural Networks with Reals and Floats

投稿日: 2024年7月15日 作成者: jarxiv

要約 2019 年の先駆的な研究で、Barcel\’o とその共著者 … 続きを読む →

カテゴリー: cs.AI, cs.LO, F.1.1 | Logical Characterizations of Recurrent Graph Neural Networks with Reals and Floats はコメントを受け付けていません

CFaults: Model-Based Diagnosis for Fault Localization in C Programs with Multiple Test Cases

投稿日: 2024年7月15日 作成者: jarxiv

要約 デバッグは、ソフトウェア開発において最も時間と費用がかかるタスクの 1 つ … 続きを読む →

カテゴリー: cs.AI, cs.LO, cs.SE | CFaults: Model-Based Diagnosis for Fault Localization in C Programs with Multiple Test Cases はコメントを受け付けていません

Predictable and Performant Reactive Synthesis Modulo Theories via Functional Synthesis

投稿日: 2024年7月15日 作成者: jarxiv

要約 リアクティブ合成は、時相論理仕様から正しいコントローラーを生成するプロセス … 続きを読む →

カテゴリー: cs.AI, cs.LO, cs.SE | Predictable and Performant Reactive Synthesis Modulo Theories via Functional Synthesis はコメントを受け付けていません

Bi-reachability in Petri nets with data

投稿日: 2024年7月12日 作成者: jarxiv

要約 私たちは、トークンが無限のデータ ドメインからの値を運び、遷移の実行可能性 … 続きを読む →

カテゴリー: cs.CL, cs.FL, cs.LO | Bi-reachability in Petri nets with data はコメントを受け付けていません

Strategy Synthesis for Zero-Sum Neuro-Symbolic Concurrent Stochastic Games

投稿日: 2024年7月12日 作成者: jarxiv

要約 ニューラル ネットワークと古典的な記号技術を組み合わせた、人工知能への神経 … 続きを読む →

カテゴリー: cs.AI, cs.GT, cs.LO | Strategy Synthesis for Zero-Sum Neuro-Symbolic Concurrent Stochastic Games はコメントを受け付けていません

Regularization in Spider-Style Strategy Discovery and Schedule Construction

投稿日: 2024年7月10日 作成者: jarxiv

要約 最高のパフォーマンスを達成するために、自動定理証明器は多くの場合、特定の問 … 続きを読む →

カテゴリー: cs.AI, cs.LO | Regularization in Spider-Style Strategy Discovery and Schedule Construction はコメントを受け付けていません

Safe and Reliable Training of Learning-Based Aerospace Controllers

投稿日: 2024年7月10日 作成者: jarxiv

要約 近年、深層強化学習 (DRL) アプローチにより、無数の複雑なドメインに対 … 続きを読む →

カテゴリー: cs.AI, cs.LO, cs.SY, eess.SY | Safe and Reliable Training of Learning-Based Aerospace Controllers はコメントを受け付けていません

A General Verification Framework for Dynamical and Control Models via Certificate Synthesis

投稿日: 2024年7月2日 作成者: jarxiv

要約 制御理論の新たな分野は、自律モデルまたは制御モデルに必要な (おそらく複雑 … 続きを読む →

カテゴリー: cs.LG, cs.LO, cs.SY, eess.SY | A General Verification Framework for Dynamical and Control Models via Certificate Synthesis はコメントを受け付けていません

Robustness Assessment of a Runway Object Classifier for Safe Aircraft Taxiing

投稿日: 2024年7月1日 作成者: jarxiv

要約 ディープ ニューラル ネットワーク (DNN) が多くの計算問題に対する有 … 続きを読む →

カテゴリー: cs.CV, cs.LG, cs.LO | Robustness Assessment of a Runway Object Classifier for Safe Aircraft Taxiing はコメントを受け付けていません

Tolerance of Reinforcement Learning Controllers against Deviations in Cyber Physical Systems

投稿日: 2024年6月26日 作成者: jarxiv

要約 強化学習 (RL) ベースのコントローラーを備えたサイバーフィジカル シス … 続きを読む →

カテゴリー: cs.AI, cs.LO, cs.RO, cs.SY, eess.SY | Tolerance of Reinforcement Learning Controllers against Deviations in Cyber Physical Systems はコメントを受け付けていません