The following pages link to SMC (Q5275314):
Displaying 4 items.
- Robust control for signal temporal logic specifications using discrete average space robustness (Q1737745) (← links)
- On the computational complexity of the secure state-reconstruction problem (Q2063856) (← links)
- Validating numerical semidefinite programming solvers for polynomial invariants (Q5916266) (← links)
- Velocity obstacle-based trajectory planner for anthropomorphic arms (Q6152377) (← links)
