-
Probabilistic Rare-Event Verification for Temporal Logic Robot Tasks [Abstract]
-
Safe Model-Based Control from Signal Temporal Logic Specifications Using Recurrent Neural Networks [Abstract]
-
Temporal Logic Swarm Control with Splitting and Merging [Abstract]
-
Synthesizing Reactive Test Environments for Autonomous Systems: Testing Reach-Avoid Specifications with Multi-Commodity Flows [Abstract]