Login / Signup

Efficient control synthesis for augmented finite transition systems with an application to switching protocols.

Fei SunNecmiye OzayEric M. WolffJun LiuRichard M. Murray
Published in: ACC (2014)
Keyphrases
  • transition systems
  • model checking
  • multi agent systems
  • sufficient conditions
  • software systems
  • control flow
  • practical reasoning