A language theoretic framework for decision and control of autonomous systems

open_access
Open Access