Bottom-Up Symbolic Control: Attractor-Based Planning and Behavior Synthesis | IEEE Journals & Magazine | IEEE Xplore