Distributed Locally Non-interfering Connectivity via Linear Temporal Logic.

Hans Riess Yiannis Kantaros George J. Pappas Robert Ghrist

Published in: CoRR (2020)

Keyphrases

linear temporal logic
distributed systems
temporal logic
model checking
bounded model checking
multi agent