robotics control and mechatronics
信号时态逻辑
Signal Temporal LogicA formalism used to specify temporal properties of signals over time / 一种用于指定信号随时间变化性质的数学形式化方法
- Knowledge type
- 数学理论
- First proposed or discovered
- Proposer
- Turkey Farm member
- Creator
- 农场主
- Last updated
- 2026-11-04 21:06:11
Sub-knowledge points
No connected node yet
Higher-order knowledge points
No connected node yet
Main parameters and performance indicators
No item recorded yet
Open problems
No unresolved problem recorded yet
Related literature
ranked by community starsOptimal control under signal temporal logic constraints: A robust reformulation via augmented dynamicsOpen source
Related products and links
No item recorded yet
Creation and modification trail
1 recordsRecord title: Signal Temporal Logic.
Node update feedback
review required