Login / Signup
Control of Multi-Agent Systems with Finite Time Control Barrier Certificates and Temporal Logic.
Mohit Srinivasan
Samuel Coogan
Magnus Egerstedt
Published in:
CoRR (2018)
Keyphrases
</>
temporal logic
multi agent systems
linear temporal logic
control system
model checking