Login / Signup
Computing augmented finite transition systems to synthesize switching protocols for polynomial switched systems.
Necmiye Ozay
Jun Liu
Pavithra Prabhakar
Richard M. Murray
Published in:
ACC (2013)
Keyphrases
</>
distributed systems
transition systems
model checking