www.prismmodelchecker.org
[LL24] Yang Liu and Jiankun Li. Runtime Verification-Based Safe MARL for Optimized Safety Policy Generation for Multi-Robot Systems. Big Data and Cognitive Computing. 2024. [Tackles multi-robot warehouse management problems using PRISM-games.]
Links: [Google] [Google Scholar]

Publications