- ホーム
- > 洋書
- > 英文書
- > Science / Mathematics
Full Description
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.



