Kai Weng Wong

1 papers · 2014–2014 · 1 conference · across top CS/AI conferences

Achievements

🌉 Interdisciplinary Bridge 🧭 Keyword Pioneer 🐝 Cross-Pollinator (6) 📈 Trend Setter

Conferences

RSS (1)

Top co-authors

Hadas Kress-Gazit (1) Rüdiger Ehlers (1)

Keywords

runtime verification (1) robot controller (1) controller synthesis (1) formal synthesis (1) correct-by-construction design (1) runtime monitoring (1) environment assumption (1) recovery behavior (1)

Papers

Correct High-level Robot Behavior in Environments with Unexpected Events RSS 2014