Login / Signup

Control of Multi-Agent Systems with Finite Time Control Barrier Certificates and Temporal Logic.

Mohit SrinivasanSamuel CooganMagnus Egerstedt
Published in: CDC (2018)
Keyphrases
  • temporal logic
  • multi agent systems
  • control system
  • artificial intelligence
  • cooperative
  • model checking
  • verification method