|
[AC22]
Naif Alasmari and Radu Calinescu.
Synthesis of Pareto-optimal Policies for Continuous-Time Markov Decision Processes.
In Proc. 48th Euromicro Conference on Software Engineering and Advanced Applications (SEAA'22).
2022.
[Presents methods for synthesising optimal policies on continuous-time MDPs via a connection to PRISM.]
|
|
Links:
[Google]
[Google Scholar]
|