Forventes på lager: 03-06-2024
This book stems from the growing use of learning-based techniques, such as reinforcement learning and adaptive control, in the control of autonomous and safety-critical systems. This book contains recent results on provably correct control techniques from specifications that go beyond safety and stability, such as temporal logic formulas.
| Forlag | Springer International Publishing AG |
| Forfattere | Max Cohen, Calin Belta |
| Type | Bog |
| Format | Paperback / softback |
| Sprog | Engelsk |
| Udgave | 2023 ed. |
| Udgivelsesdato | 03-06-2024 |
| Første udgivelsesår | 2024 |
| Serie | Synthesis Lectures on Computer Science |
| Illustrationer | 28 Illustrations, color; 3 Illustrations, black and white |
| Originalsprog | Switzerland |
| Sideantal | 194 |
| Indbinding | Paperback / softback |
| Forlag | Springer International Publishing AG |
| Sideoplysninger | 194 pages, 28 Illustrations, color; 3 Illustrations, black and white |
| Mål | 241 x 168 x 15 |
| ISBN-13 / EAN-13 | 9783031293122 |