What's to come is still unsure. Synthesizing controllers resilient to delayed interaction

DOI10.1007/978-3-030-01090-4_4zbMath1520.91077MaRDI QIDQ6109581

Martin Fränzle, Peter N. Mosaad, Mingshuai Chen, Naijun Zhan, Yangjia Li

Publication date: 28 July 2023

Published in: Automated Technology for Verification and Analysis (Search for Journal in Brave)

zbMATH Keywords

safety gamescontrol under delayefficient algorithmic synthesis

Mathematics Subject Classification ID

2-person games (91A05) Games involving graphs (91A43) Applications of game theory (91A80) Algorithmic game theory and complexity (91A68)

Related Items (3)

Finite-state strategies in delay games ⋮ Switching controller synthesis for delay hybrid systems under perturbations ⋮ Indecision and delays are the parents of failure -- taming them algorithmically by synthesizing delay-resilient control

This page was built for publication: What's to come is still unsure. Synthesizing controllers resilient to delayed interaction