This book provides a concise, self-contained introduction to topics usually regarded as formal methods for robotics. We assume the reader has background knowledge broadly associated with robotics research, e.g., of classical (linear) control theory, elementary graph search methods, and propositional (Boolean) logic.
Except where noted otherwise, everything in this repository is released under the Creative Commons Attribution-ShareAlike 4.0 International License. To get a copy of this license, visit https://creativecommons.org/licenses/by-sa/4.0/ or send a letter to Creative Commons, PO Box 1866, Mountain View, CA 94042, USA.