机构名称：
¥ 3.0
将自动驾驶系统过渡到复杂的操作领域会不成比例地增加了对遗传活动的需求。在最坏的情况下，操作域不能被一组可管理的逻辑场景所覆盖。预期的解决方案是使用抽象场景，该方案增加了覆盖范围，同时仍可以实现正式方法。但是，必须调整已建立的遗传方法，以用于抽象场景。在这项工作中，我们考虑了从抽象场景中产生的可模拟测试套件。为此，我们使用train -of C序列图（TSC），这是一种基于一阶逻辑的视觉而设计的方案描述语言。我们提出了一个基于SMT的过程，用于生成可以在例如卡拉。这个理论框架被编译为一个称为TSC2CARLA的架构和原型实现。对一组非平凡示例的评估为我们方法的可行性提供了初步证据。
计算机编程科学
主要关键词
相关文件推荐
