ParetoLib: A Python Library for Parameter Synthesis
ParetoLib: A Python Library for Parameter Synthesis
复制标题
ParetoLib：用于参数综合的 Python 库
DOI：
10.1007/978-3-030-29662-9_7
复制
发表时间：
2019
期刊：
影响因子：
--
通讯作者：
José
中科院分区：
文献类型：
--
作者：
Alexey Bakhirkin;Nicolas Basset;O. Maler;José
本文介绍了一个Python库ParetoLib，它实现了一种新的方法来推断多标准优化问题中的Pareto前沿。该工具可用于参数影响单调的时间逻辑谓词的参数综合。ParetoLib目前为标准（STL）和扩展（STLe）信号时序逻辑规范的参数合成提供支持。该工具很容易升级，以便在不久的将来在其他时间逻辑中合成参数。一个示例说明了我们的工具的用法和性能。ParetoLib是免费的，并在互联网上公开提供。
This paper presents ParetoLib, a Python library that implements a new method for inferring the Pareto front in multi-criteria optimization problems. The tool can be applied in the parameter synthesis of temporal logic predicates where the influence of parameters is monotone. ParetoLib currently provides support for the parameter synthesis of standard (STL) and extended (STLe) Signal Temporal Logic specifications. The tool is easily upgradeable for synthesizing parameters in other temporal logics in the near future. An example illustrates the usage and performance of our tool. ParetoLib is free and publicly available on Internet.