14:20 A Simpler Alternative: Minimizing Transition Systems Modulo Alternating Simulation Equivalence Association for Computing…
15:01 Correct-By-Construction Exploration and Exploitation for Unknown Linear Systems Association for Computing…
13:20 Elliptical Slice Sampling for Probabilistic Verification of Stochastic Systems with STL Specs Association for Computing…
14:20 Using Intersection of Unions to Minimize Multi-directional Linearization Error in Reachability Association for Computing…
17:39 Successive Convexification for Optimal Control with Signal Temporal Logic Specifications Association for Computing…
14:05 ABS: A formally correct software tool for space-efficient symbolic synthesis Association for Computing…
13:30 Stability of discrete-time switched linear systems with omega-regular switching sequence Association for Computing…
14:51 Necessary and Sufficient Conditions for Template-Dependent Ordering of Path-Complete Lyapunov Method Association for Computing…
12:38 Distributed Hybrid Gradient Algorithm with Application to Cooperative Adaptive Estimation Association for Computing…
15:15 Sufficient Conditions for Optimality and Asymptotic Stability in Two-Player Zero-Sum Hybrid Games Association for Computing…
15:36 SOCKS: A Stochastic Optimal Control and Reachability Toolbox Using Kernel Methods Association for Computing…
14:51 Verification of machine learning based cyber-physical systems: a comparative study Association for Computing…
14:53 Fast BATLLNN: Fast Box Analysis of Two-Level Lattice Neural Networks Association for Computing…
