We present SimpleMG, a new, provably correct design methodology for runt...
We present Distributed Simplex Architecture (DSA), a new runtime assuran...
We show how a high-performing, fully distributed and symmetric neural
V-...
We show how a distributed flocking controller can be synthesized using d...