activity
20192021
most citedReinforcement Learning with Temporal Logic Constraints for Partially-Observable Markov Decision Processes

2 citations · 3 across the 3 of their papers we have counts for

collaborators
Showing cs.ROShow all

2 papers · 1 filter

cs.RO2021★ 2 cited

Reinforcement Learning with Temporal Logic Constraints for Partially-Observable Markov Decision Processes

Yu Wang, Alper Kamil Bozkurt, Miroslav Pajic

This paper proposes a reinforcement learning method for controller synthesis of autonomous systems in unknown and partially-observable environments with subjective time-dependent s…

cs.RO2019

Hyperproperties for Robotics: Planning via HyperLTL

Yu Wang, Siddhartha Nalluri, Miroslav Pajic

There is a growing interest on formal methods-based robotic planning for temporal logic objectives. In this work, we extend the scope of existing synthesis methods to hyper-tempora…