多智能体系统中定时周期任务的动态探索
摘要：多代理定时模型MAPTs的形式化和研究：每个代理与一个定时模式相关联，代理的所有可能行为都依赖于该定时模式。MAPTs允许加速语义和状态空间的分层结构，因此可以动态地探索后者并使用启发式方法来大大减少解决可达性问题所需的计算时间。我们将MAPTs应用于探索自主车辆的状态空间，并将其与其他方法在表达能力、抽象层次和计算时间方面进行比较。
作者：Johan Arcile (IBISC), Raymond Devillers, Hanna Klaudel (IBISC)
论文ID：1911.07591
分类：Multiagent Systems
分类简称：cs.MA
提交时间：2019-11-19