13 citations
2 papers
eess.SY2016
Diagnosis and Repair for Synthesis from Signal Temporal Logic Specifications
Shromona Ghosh, Dorsa Sadigh, Pierluigi Nuzzo +5
We address the problem of diagnosing and repairing specifications for hybrid systems formalized in signal temporal logic (STL). Our focus is on the setting of automatic synthesis o…
cs.AI2015★ 13 cited
A Theory of Formal Synthesis via Inductive Learning
Susmit Jha, Sanjit A. Seshia
Formal synthesis is the process of generating a program satisfying a high-level formal specification. In recent times, effective formal synthesis methods have been proposed based o…