E
Elaine Render
Researcher at University of California, Los Angeles
Publications - 3
Citations - 61
Elaine Render is an academic researcher from University of California, Los Angeles. The author has contributed to research in topics: Robustness (computer science) & Time complexity. The author has an hindex of 3, co-authored 3 publications receiving 52 citations. Previous affiliations of Elaine Render include University of California.
Papers
More filters
Proceedings ArticleDOI
Robust discrete synthesis against unspecified disturbances
TL;DR: The theory and algorithmic tools for the design of robust discrete controllers for π-regular properties on discrete transition systems are presented and an application of the theory to theDesign of controllers that tolerate infinitely many transient errors provided they occur infrequently enough is shown.
Journal ArticleDOI
A theory of robust omega-regular software synthesis
TL;DR: A formal definition of robustness as well as algorithmic tools for the design of optimally robust controllers for ω-regular properties on discrete transition systems and an application of the theory to the designs of controllers that tolerate infinitely many transient errors provided they occur infrequently enough are shown.
Posted Content
A theory of robust software synthesis
TL;DR: A formal definition of robustness and algorithmic tools for the design of optimally robust controllers for omega-regular properties on discrete transition systems and an application of the theory to the designs of controllers that tolerate infinitely many transient errors provided they occur infrequently enough are shown.