Synthesis of Optimal Resilient Control Strategies
From MaRDI portal
Publication:5096100
DOI10.1007/978-3-319-68167-2_27zbMath1495.68021arXiv1707.03223OpenAlexW2735695624MaRDI QIDQ5096100
Vojtěch Řehák, Clemens Dubslaff, Ľuboš Korenčiak, Christel Baier, Antonín Kučera
Publication date: 12 August 2022
Published in: Automated Technology for Verification and Analysis (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1707.03223
Performance evaluation, queueing, and scheduling in the context of computer systems (68M20) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)
Related Items