Dynamic Exploration of Multi-agent Systems with Periodic Timed Tasks

DOI10.3233/FI-2020-1948zbMath1497.68479arXiv1911.07591MaRDI QIDQ4988953

Raymond Devillers, Johan Arcile, Hanna Klaudel

Publication date: 20 May 2021

Published in: Fundamenta Informaticae (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1911.07591

zbMATH Keywords

periodic behaviouron-the-fly explorationreal-time multi-agent systems

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Agent technology and artificial intelligence (68T42) Multi-agent systems (93A16)

Uses Software

• TINA

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• State space reduction using partial order techniques
• The tool TINA – Construction of abstract state spaces for petri nets and time petri nets
• Bounded model checking using satisfiability solving

This page was built for publication: Dynamic Exploration of Multi-agent Systems with Periodic Timed Tasks