May, 2022

分离领域中的行为模仿

TL;DR本文介绍了基于智能代理的LTLf形式化方法来解决计算机科学中的系统模仿问题,从简单映射到全LTLf并研究了合成算法和计算性质。