1. Multiple mobile robot task and motion planning: A survey;Antonyshyn;ACM Computing Surveys,2022
2. Principles of model checking;Baier,2008
3. Markov Decision Processes with Applications to Finance;Bäuerle,2011
4. Designing resilient linear systems;Bouvier;IEEE Transactions on Automatic Control,2022
5. Graph-based controller synthesis for safety-constrained, resilient systems;Bucić,2018