Chanyeol Yoo

2 papers · 2012–2017 · 1 conference · across top CS/AI conferences

Achievements

🏃 Academic Marathon (5) 🌉 Interdisciplinary Bridge 🧭 Keyword Pioneer 🐣 Hot Topic Early Bird 🐝 Cross-Pollinator (11)

Conferences

RSS (2)

Top co-authors

Robert Fitch (1) Salah Sukkarieh (1) Calin Belta (1)

Keywords

motion planning (1) time series classification (1) model checking (1) resource constraint (1) signal temporal logic (1) human-readable classifier (1) tree-based clustering (1) temporal logic classifier (1) probabilistic temporal logic (1) autonomous glider (1)

Papers

Rich Time Series Classification Using Temporal Logic RSS 2017

Probabilistic Temporal Logic for Motion Planning with Resource Threshold Constraints RSS 2012