_id,doi,title
81,10.1007/978-3-030-00151-3_4,Monitoring temporal logic with clock variables
24,10.24963/ijcai.2018/652,Expectation optimization with probabilistic guarantees in POMDPs with discounted-sum objectives