Encrypted Cooperative Control Revisited

Reinforcement Learning for Temporal Logic Control Synthesis with Probabilistic Satisfaction Guarantees

Probabilistic Verification and Reachability Analysis of Neural Networks via Semidefinite Programming

Maximum Information Bounds for Active Sensing

Assumed Density Filtering Q-learning

Motion Planning with Secrecy