Music |
Video |
Movies |
Chart |
Show |
RSS 2020, Spotlight Talk 58: Probabilistic Swarm Guidance Subject to Graph Temporal Logic Specifi... (Robotics Science and Systems) View | |
CoRL 2020, Spotlight Talk 498: Learning from Demonstrations using Signal Temporal Logic (Conference on Robot Learning) View | |
RSS 2020, Spotlight Talk 16: Grounding Language to Non-Markovian Tasks with No Supervision of Tas... (Robotics Science and Systems) View | |
DeepSTL - From English Requirements to Signal Temporal Logic (Jie He) View | |
Finite-Horizon Synthesis for Probabilistic Manipulation Domains (ARIA Systems Group) View | |
A Multiresolution Analysis of Temporal Logic (Association for Computing Machinery (ACM)) View | |
A Formally Verified Monitor for Quantitative Temporal Logic (COMP 600 version) (Agnishom Chattopadhyay) View | |
Talk Binghan He on Barrier-Pairs RRT - CDC 2020 (UT Human Centered Robotics Lab) View | |
Temporal Logic of Actions - Transconduction (Let The Music Use You) View | |
() View |