Entity usage

Showing below up to 35 results in range #1 to #35.

1. On the decidability of reachability in continuous time linear time-invariant systems: Label: en
2. Verifiably safe exploration for end-to-end reinforcement learning: Label: en
3. Learning lyapunov functions for hybrid systems: Label: en
4. Model-based reinforcement learning for approximate optimal control with temporal logic specifications: Label: en
5. Verification and runtime assurance for dynamical systems with uncertainty: Label: en
6. A program logic to verify signal temporal logic specifications of hybrid systems: Label: en
7. From post-conditions to post-region invariants: Label: en
8. Optimal mixed discrete-continuous planning for linear hybrid systems: Label: en
9. Approximate optimal hybrid control synthesis by classification-based derivative-free optimization: Label: en
10. Strategy synthesis for partially-known switched stochastic systems: Label: en
11. The computability of LQR and LQG control: Label: en
12. Compositional safety rules for inter-triggering hybrid automata: Label: en
13. Switching controller synthesis for delay hybrid systems under perturbations: Label: en
14. Synthesis of hybrid automata with affine dynamics from time-series data: Label: en
15. Topological entropy of switched nonlinear systems: Label: en
16. On-the-fly, data-driven reachability analysis and control of unknown systems: Label: en
17. Filtering over networks with random communication: Label: en
18. OmegaThreads: Label: en
19. Adaptive strategies for rLTL games: Label: en
20. Epidemic overdispersion strengthens the effectiveness of mobility restrictions: Label: en
21. Interval observer design of dynamical systems with neural networks: Label: en
22. Formal safety verification of unknown continuous-time systems: Label: en
23. Estimating infinitesimal generators of stochastic systems with formal error bounds: Label: en
24. A few lessons learned in reinforcement learning for quadcopter attitude control: Label: en
25. Hybrid modeling and predictive control of large-scale crowd movement in road network: Label: en
26. OmegaThreads: Label: en
27. FOSSIL: Label: en
28. AROC: Label: en
29. Path-dependent controller and estimator synthesis with robustness to delayed and missing data: Label: en
30. Quantizer design for switched linear systems with minimal data-rate: Label: en
31. Computing the sampling performance of event-triggered control: Label: en
32. Stability analysis of complementarity systems with neural network controllers: Label: en
33. Reachability analysis of deep ReLU neural networks using facet-vertex incidence: Label: en
34. Synthesizing ReLU neural networks with two hidden layers as barrier certificates for hybrid systems: Label: en
35. Adaptive parameter tuning for reachability analysis of nonlinear systems: Label: en