「F.3.1; F.4.3; D.2.4」カテゴリーアーカイブ

A first-order logic characterization of safety and co-safety languages

投稿日: 2023年3月29日 作成者: jarxiv

要約 Linear Temporal Logic (LTL) は最も人気のある時 … 続きを読む →

カテゴリー: cs.AI, cs.LO, F.3.1; F.4.3; D.2.4 | A first-order logic characterization of safety and co-safety languages はコメントを受け付けていません