Synthesis from Knowledge Based Programs

The talk will present an overview of this topic, with a focus on some recent work on automated synthesis of fault-tolerant consensus protocols as implementations of knowledge based programs, and theoretical results on the optimality properties that such implementations have.