11 citations · 26 across the 5 of their papers we have counts for
5 papers
Synthesis of Parametric Programs using Genetic Programming and Model Checking
Gal Katz, Doron Peled
Formal methods apply algorithms based on mathematical principles to enhance the reliability of systems. It would only be natural to try to progress from verification, model checkin…
Rapid Recovery for Systems with Scarce Faults
Chung-Hao Huang, Doron Peled, Sven Schewe +1
Our goal is to achieve a high degree of fault tolerance through the control of a safety critical systems. This reduces to solving a game between a malicious environment that inject…
Proceedings First Workshop on Synthesis
Doron Peled, Sven Schewe
This volume contains the proceedings of the First Workshop on Synthesis (SYNT 2012). The workshop is held is held in Berkeley, California, on June 6th and 7th, as a satellite event…
Synthesis of Succinct Systems
John Fearnley, Doron Peled, Sven Schewe
Synthesis of correct by design systems from specification has recently attracted much attention. The theoretical results imply that this problem is highly intractable, e.g., synthe…
Practical Distributed Control Synthesis
Doron Peled, Sven Schewe
Classic distributed control problems have an interesting dichotomy: they are either trivial or undecidable. If we allow the controllers to fully synchronize, then synthesis is triv…