Published January 21, 2020 | Version 1.0
Other Open

Model of Scalable Mission Planning of Autonomous Agents: MCRL, TAMAA, UPPAAL STRATEGO

Authors/Creators

  • 1. Mälardalen University

Description

The timed automata model of a scalable mission planning of multiple autonomous agents, including the model of MCRL, TAMAA, and UPPAAL STRATEGO.

Files

Mission-Planning-MCRL-TAMAA-STRATEGO.zip

Files (20.0 kB)

Name Size Download all
md5:8fcb5663a5d416c92711b1e4ab30bb78
20.0 kB Preview Download