https://www.vertovec.info/publication-type/3/2025-11-14T11:53:01+00:002026-01-29T12:28:36+00:002025-11-14T11:53:01+00:002025-11-14T11:53:01+00:00https://www.vertovec.info/2026-03-15T18:23:37+00:00https://www.vertovec.info/publication_types/2026-01-29T12:28:36+00:00https://www.vertovec.info/publication/scalable-verification-of-neural-control-barrier-functions-using-linear-bound-propagation/2025-11-14T11:53:01+00:002025-11-14T11:53:01+00:00https://www.vertovec.info/publication/certified-neural-approximations-of-nonlinear-dynamics/2025-05-18T11:38:17+00:002025-05-18T11:38:17+00:00https://www.vertovec.info/publication-type/1/2026-01-29T12:28:36+00:002025-11-14T11:54:33+00:00https://www.vertovec.info/publication/sport-safe-policy-ratio/2025-11-14T11:54:33+00:00https://www.vertovec.info/publication/certified-approximate-reachability-care-formal-error-bounds-on-deep-learning-of-reachable-sets/2026-01-29T12:28:36+00:002026-01-29T12:28:36+00:002026-01-29T12:28:36+00:002026-01-29T12:28:36+00:002026-01-29T12:28:36+00:00https://www.vertovec.info/publication-type/2/2025-12-21T13:04:10+00:002025-05-18T11:46:50+00:00https://www.vertovec.info/publication/techno-material-entanglements-and-the-social-organisation-of-difference/2025-05-18T11:46:50+00:002025-05-18T11:46:50+00:00https://www.vertovec.info/talk/feminism-confronts-ai-the-gender-relations-of-digitalisation/2025-02-13T17:11:24+00:00https://www.vertovec.info/publication-type/7/2024-08-08T12:22:20+00:00https://www.vertovec.info/publication/optimal-control-for-safety-critical-systems/2024-08-08T12:22:20+00:00https://www.vertovec.info/publication/finite-sample-learning-of-moving-targets/2025-12-21T13:04:10+00:002025-12-21T13:04:10+00:002025-12-21T13:04:10+00:00https://www.vertovec.info/publication/safety-aware-hybrid-control-of-airborne-wind-energy-systems/2024-05-07T11:29:09+00:002024-05-07T11:29:09+00:00https://www.vertovec.info/tag/distributed-control/2024-05-07T11:30:14+00:00https://www.vertovec.info/tag/optimal-control/2024-05-07T11:30:14+00:00https://www.vertovec.info/publication/state-aggregation-for-distributed-value-iteration-in-dynamic-programming/2024-05-07T11:30:14+00:00https://www.vertovec.info/tags/2024-05-07T11:30:14+00:00https://www.vertovec.info/publication/multi-objective-low-thrust-spacecraft-trajectory-design-using-reachability-analysis/2024-05-07T11:22:47+00:00https://www.vertovec.info/tag/reachability/2024-05-07T11:26:38+00:00https://www.vertovec.info/tag/spacecraft-trajectory-design/2024-05-07T11:23:06+00:00https://www.vertovec.info/tag/awe/2023-06-27T09:27:12+00:00https://www.vertovec.info/project/2023-06-27T09:27:12+00:00https://www.vertovec.info/project/awe/2023-06-27T09:27:12+00:00https://www.vertovec.info/tag/machine-learning/2024-05-07T11:26:38+00:00https://www.vertovec.info/publication/verification-of-safety-critical-control-policies-using-kernel-methods/2024-05-07T11:26:38+00:00https://www.vertovec.info/publication/multi-objective-minimum-time-optimal-control-for-low-thrust-trajectory-design/2024-05-07T11:23:06+00:00https://www.vertovec.info/slides/2020-12-11T01:40:31+00:00https://www.vertovec.info/slides/example/2020-12-11T01:40:31+00:00https://www.vertovec.info/admin/2021-02-09T22:16:30+00:002021-01-23T19:43:06+00:00https://www.vertovec.info/categories/2026-03-15T18:23:37+00:00https://www.vertovec.info/post/2021-01-23T19:43:06+00:00https://www.vertovec.info/publication/2021-01-23T19:43:06+00:00https://www.vertovec.info/event/2021-01-23T19:43:06+00:00