Showing eess.SYShow all
2 papers · 1 filter
eess.SY2026
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…
eess.SY2026
An End-to-End Encrypted Control Pipeline for Multi-Agent Coordination via CKKS Homomorphic Encryption
Sai Sandeep Damera, Maria Charitidou, Asim Zoulkarni +1
Cloud-based coordination of multi-agent systems requires sharing state with a central server, creating a conflict between coordination and privacy. Fully homomorphic encryption (FH…