Attacking the V: On the Resiliency of Adaptive-Horizon MPC

DOI10.1007/978-3-319-68167-2_29zbMath1498.93214arXiv1702.00290MaRDI QIDQ5096101

Radu Grosu, Scott A. Smolka, Ashish Kumar Tiwari, Anna Lukina, Junxing Yang, Lukas Esterle

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/1702.00290

Mathematics Subject Classification ID

91A10: Noncooperative games

91A05: 2-person games

91A80: Applications of game theory

92C40: Biochemistry, molecular biology

91A15: Stochastic games, stochastic differential games

90C40: Markov and semi-Markov decision processes

93B45: Model predictive control