Decentralized Safe Reactive Planning under TWTL Specifications.

Ryan Peterson Ali Tevfik Buyukkocak Derya Aksaray Yasin Yazicioglu

Published in: IROS (2020)

Keyphrases

reactive planning
control structure
cooperative
distributed systems
high level
multi agent
formal specification
peer to peer
delay insensitive
functional requirements
control flow
particle filter
image understanding
specification language