首页> 外文OA文献 >A SAT-Based Encoding of the One-Pass and Tree-Shaped Tableau System for LTL

【2h】

A SAT-Based Encoding of the One-Pass and Tree-Shaped Tableau System for LTL

机译：基于SAT的单通和树形Tableau系统的编码

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Luca Geatti; Nicola Gigante; Angelo Montanari;
展开▼
作者单位

展开▼
年度 2019
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. SAT-based explicit LTL_f satisfiability checking [J] . Jianwen Li, Geguang Pu, Yueling Zhang, Artificial intelligence . 2020,第Deca期

机译：基于SAT的显式LTL_F可靠性检查
2. SAT-based explicit LTL reasoning and its application to satisfiability checking [J] . Li Jianwen, Zhu Shufang, Pu Geguang, Formal Methods in System Design . 2019,第2期

机译：基于SAT的显式LTL推理及其在满意度检查中的应用。
3. Branching-time logic ECTL# and its tree-style one-pass tableau: Extending fairness expressibility of ECTL+ [J] . Theoretical computer science . 2020,第期

机译：分支时间逻辑ECTL＃及其树式单通大妙域的Tableau：扩展Ectl +的公平性表达
4. A SAT-Based Encoding of the One-Pass and Tree-Shaped Tableau System for LTL [C] . Luca Geatti, Nicola Gigante, Angelo Montanari International Conference on Automated Reasoning with Analytic Tableaux and Related Methods . 2019

机译：基于SAT的LTL单程和树状Tableau系统的编码
5. Sparse Tableau Formulation for Power System Networks and Its Applications [D] . Park, Byungkwon. 2018

机译：电力系统网络的稀疏Tableau公式及其应用
6. Photoactive Nanomaterials Inspired by Nature: LTL Zeolite Doped with Laser Dyes as Artificial Light Harvesting Systems [O] . Leire Gartzia-Rivero, Jorge Bañuelos, Iñigo López-Arbeloa 2017

机译：受自然启发的光敏纳米材料：掺激光染料的LTL沸石作为人造光收集系统
7. Leviathan: A New LTL Satisfiability Checking Tool Based on a One-Pass Tree-Shaped Tableau [O] . Bertello Matteo, Gigante Nicola, Montanari Angelo, 2016

机译：Leviathan：基于一次通过的树形Tableau的新的LTL满意度检查工具
8. Multi-Encoding Approach for LTL Symbolic Satisfiability Checking [R] . Rozier, K. Y., Vardi, M. Y. 2011

机译：LTL符号可满足性检验的多编码方法

A SAT-Based Encoding of the One-Pass and Tree-Shaped Tableau System for LTL

著录项

引文网络

相似文献

相关主题

期刊订阅