Synthesis of Pareto-optimal Policies for Continuous-Time Markov Decision Processes

Naif Alasmari, Radu Calinescu

Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

1 results

Active

UKRI Trustworthy Autonomous Systems Node in Resilience
Calinescu, R., Arvind, T., Cavalcanti, A. L. C., Habli, I., Thomas, A. P. & Wilson, J. C.
EPSRC
1/11/20 → 30/04/24
Project: Research project (funded) › Research