نسخة أولية وصول مفتوح
Differentiable Ternary Temporal Logic Semantics with Polynomial Surrogate Networks
Temporal logic provides designers a formal reasoning tool for specifying complex spatio-temporal behaviors and tasks for autonomous systems. Many techniques exist for control synthesis according to temporal logic specifications, spanning a large variety of systems, including robotics. However, the vast majority of impl …