Differentiable Ternary Temporal Logic Semantics with Polynomial Surrogate Networks

Ryan Matheu, Sai Sandeep Damera, John S. Baras +1

Temporal logic provides designers a formal reasoning tool for specifying complex spatio-temporal behaviors and tasks for autonomous systems. Many techniques exist for control synth…