Optimal control of partially observable Markov decision processes with finite linear temporal logic constraints.
Krishna Chaitanya Kalagarla, Dhruva Kartik, Dongming Shen, Rahul Jain, Ashutosh Nayyar, Pierluigi Nuzzo
Browse the full UAI paper archive.