@dblp

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

, , und . CoRR, (2020)

Links und Ressourcen

Tags