conftrace_

symbolic control

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

alternating bisimulation (1) set-valued map (1) safety controller (1) monotone system (1) controller synthesis (1) dynamical system (1) motion generation (1) agglomerative clustering (1) saliency detection (1) data augmentation (1)

Papers

SOSControl: Enhancing Human Motion Generation Through Saliency-Aware Symbolic Orientation and Timing Control AAAI 2026 Data-Driven Abstraction of Monotone Systems L4DC 2021