www.prismmodelchecker.org
[WMV22] Rebekka Wohlrab; Rômulo Meira-góes and Michael Vierhauser. Run-Time Adaptation of Quality Attributes for Automated Planning. In Proc. International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS'22). 2022. [Proposes automated planning techniques with run-time adaptation of quality attributes, using PRISM for policy synthesis.]
Links: [Google] [Google Scholar]

Publications