reactive synthesis | BriefGPT

关键词reactive synthesis

搜索结果 - 7

LTL 模理论的屏蔽综合
近年来，机器学习（ML）模型在各个领域取得了显著的成功，然而这些模型也倾向于表现出不安全的行为，这限制了它们在安全关键系统中的部署。为了解决这个问题，许多研究集中在开发能够保证给定 ML 模型的安全行为的方法。其中一个突出的例子是屏蔽，它包
PDFa month ago
基于深度强化学习策略的分层控制器合成
我们提出了一种新颖的方法来解决以马尔可夫决策过程（MDP）建模的环境的控制器设计问题。具体而言，我们考虑了一个层次 MDP，该图的每个顶点由一个名为 “房间” 的 MDP 填充。我们首先应用深度强化学习（DRL）来获取每个房间的低级策略，适
PDF5 months ago
NeuroSynt：一种神经符号化的反应合成投资组合求解器
NeuroSynt 是一个神经符号综合求解器框架，通过无缝集成神经和符号方法来解决反应综合问题，并通过模型检查器验证基础神经模型的预测。在当前 SYNTCOMP 基准测试中，NeuroSynt 在处理具有挑战性的规范方面展现出其有效性，并为
PDF5 months ago
AAAIPRP 重启：推进 FOND 规划艺术的最新发展
这项研究介绍了一种全观测非确定性计划（FOND）的新方法，通过引入新颖的 FOND 感知启发式技术，在 17 个领域中，比其他 FOND 计划程序在 18 个综合基准套件中显著提高了性能。
PDF7 months ago
基于满足性和时间目标的综合
本文提出了第一个针对具有分数折扣因子的 LTL 和 DSRewards 进行综合的声音算法，并在机器人规划领域展示了其效用。
PDF2 years ago
有限合成的编码
该研究探讨了将线性时间临时逻辑中的有界综合问题转化为布尔公式（SAT）、量化布尔公式（QBF）和依赖量化布尔公式（DQBF）的约束系统的问题，并通过反应综合竞赛（SYNTCOMP）和最先进的求解器对编码进行了系统评估，发现 QBF 的效果优
PDF6 years ago
BoSy: 一个有界综合实验框架
介绍了基于有界综合方法的反应式综合工具 BoSy，使用逻辑约束求解问题实现解的存在与否，可以编码到各种满足性求解器中，可用于合成和性能评估。
PDF6 years ago