Synthesizing Communication Plans for Reachability and Safety Specifications.

Kazumune Hashimoto Dimos V. Dimarogonas

Published in: IEEE Trans. Autom. Control. (2020)

Keyphrases

plan recognition
communication overhead
high level
state space
communication networks
partially ordered
functional requirements
long distance
communication protocol
control center
data sets
distributed systems
domain independent
partial order
multi party
specification language