Evolutionary-Guided Synthesis of Verified Pareto-Optimal MDP Policies

Summary

This is a publication. If there is no link to the publication on this page, you can try the pre-formated search via the search engines listed on this page.

Authors: Simos Gerasimou; Javier Cámara; Radu Calinescu; Naif Alasmari; Faisal Alhwikem; Xinwei Fang

Journal title: IEEE International Conference on Automated Software Engineering (ASE)

Journal publisher: IEEE

Published year: 2022

DOI identifier: 10.1109/ase51524.2021.9678727

Results type(s)
Unfold all
/
Fold all
Report - Video - Presentation - Publication....?
Structured mapping
Unfold all
/
Fold all