Sign in

A Multi-Agent Spatial Logic for Scenario-Based Decision Modeling and Verification in Platoon Systems.

Jingwen XuYanhong HuangJianqi ShiShengchao Qin
Published in: J. Comput. Sci. Technol. (2021)
Keyphrases
  • multi agent
  • asynchronous circuits
  • multi agent systems
  • intelligent systems
  • space time
  • complex systems
  • spatial data
  • spatial databases
  • multiagent systems
  • spatial information
  • spatial and temporal
  • decision problems