boolean synthesis | BriefGPT

关键词boolean synthesis

搜索结果 - 1

符号化 LTLf 合成
本文提出了一种基于符号技术的 LTLf 综合的框架，利用布尔合成的机制实现了策略生成，并在可扩展的基准测试中通过实验证明了符号方法比显式方法更具可扩展性。
PDF7 years ago