Decentralized Control Barrier Functions for Coupled Multi-Agent Systems under Signal Temporal Logic Tasks.

Lars Lindemann Dimos V. Dimarogonas

Published in: CoRR (2020)

Keyphrases

temporal logic
multi agent systems
decentralized control
model checking
modal logic
multi agent
verification method
linear temporal logic
multiagent systems
computation tree logic
markov decision processes
autonomous agents
belief revision
goal oriented
collective behavior
intelligent agents
mobile robot