@dblp

Synthesis of Discounted-Reward Optimal Policies for Markov Decision Processes Under Linear Temporal Logic Specifications.

, , and . CoRR, (2020)

Links and resources

Tags