Author of the publication

A Learning Based Approach to Control Synthesis of Markov Decision Processes for Linear Temporal Logic Specifications.

, , , , and . CoRR, (2014)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Formal methods for semi-autonomous driving., , and . DAC, page 148:1-148:5. ACM, (2015)Safety envelope for security., , , , , , , and . HiCoNS, page 85-94. ACM, (2014)ROIAL: Region of Interest Active Learning for Characterizing Exoskeleton Gait Preference Landscapes., , , , , , , , and . CoRR, (2020)Robots That Can See: Leveraging Human Pose for Trajectory Prediction., , , , , and . IEEE Robotics Autom. Lett., 8 (11): 7090-7097 (November 2023)Open Problems and Fundamental Limitations of Reinforcement Learning from Human Feedback., , , , , , , , , and 22 other author(s). CoRR, (2023)SpatialVLM: Endowing Vision-Language Models with Spatial Reasoning Capabilities., , , , , , , , and . CoRR, (2024)Open X-Embodiment: Robotic Learning Datasets and RT-X Models., , , , , , , , , and 44 other author(s). CoRR, (2023)Learning Human Objectives from Sequences of Physical Corrections., , , and . ICRA, page 2877-2883. IEEE, (2021)Batch Active Learning of Reward Functions from Human Preferences., , and . CoRR, (2024)Influencing Leading and Following in Human-Robot Teams., , , and . Robotics: Science and Systems, (2019)