https://tea.ece.ufl.edu/conservative-safety-monitors-of-stochastic-dynamical-systems-at-nfm-2023/2023-05-17T19:36:24+00:00https://tea.ece.ufl.edu/causal-nn-controller-repair-presented-at-icaa23/2023-06-06T19:46:58+00:00https://tea.ece.ufl.edu/ivan-ruchkin-to-serve-on-the-pc-of-iccps23/2022-11-06T22:20:16+00:00https://tea.ece.ufl.edu/tea-lab-is-established/2022-08-16T21:18:00+00:00https://tea.ece.ufl.edu/donkeycars-are-racing-autonomously/2023-05-04T15:42:44+00:00https://tea.ece.ufl.edu/tea-lab-participates-in-hosting-local-k-12-students-for-robotics-aiot-visit-day/2023-06-15T23:07:01+00:00https://tea.ece.ufl.edu/ivan-gives-an-invited-talk-at-dacps-workshop/2023-07-09T15:45:07+00:00https://tea.ece.ufl.edu/how-safe-am-i-given-what-i-see-new-preprint-online/2023-08-26T19:05:23+00:00https://tea.ece.ufl.edu/ivan-serves-on-the-pc-of-iccps24-and-aaai24/2023-09-07T19:58:06+00:00https://tea.ece.ufl.edu/ivan-invited-to-panel-on-dependable-space-autonomy/2023-10-28T20:02:06+00:00https://tea.ece.ufl.edu/verifying-high-dimensional-controllers-new-preprint-online/2023-11-09T22:47:02+00:00https://tea.ece.ufl.edu/tea-lab-moves-to-malachowsky-hall/2023-12-15T19:44:22+00:00https://tea.ece.ufl.edu/foundation-world-models-new-preprint-online/2024-04-02T22:00:16+00:00https://tea.ece.ufl.edu/language-enhanced-ood-detection-new-preprint-online/2024-05-07T16:27:14+00:00https://tea.ece.ufl.edu/tea-lab-presents-f1-10-racing-to-the-uf-ece-external-advisory-board/2024-04-23T16:38:01+00:00https://tea.ece.ufl.edu/first-batch-of-cure/2024-04-22T16:51:58+00:00https://tea.ece.ufl.edu/ivan-presents-neural-network-repair-with-preservation-at-iccps-2024/2024-05-14T03:26:17+00:00https://tea.ece.ufl.edu/zj-presents-foundation-world-models-and-language-enhanced-ood-at-icra-2024/2024-05-16T07:57:17+00:00https://tea.ece.ufl.edu/ivan-spends-summer-at-afrl-as-a-visiting-faculty/2024-06-28T19:22:14+00:00https://tea.ece.ufl.edu/new-nsf-project-on-neuro-symbolic-perception-in-cps/2024-07-18T21:35:36+00:00https://tea.ece.ufl.edu/zhenjiang-presents-safety-predictors-at-l4dc/2024-07-19T21:57:00+00:00https://tea.ece.ufl.edu/yuang-presents-high-dimensional-reachability-at-fm/2024-09-12T16:07:39+00:00https://tea.ece.ufl.edu/ivan-presents-calibrated-visual-safety-chance-prediction-at-tacps-workshop-at-esweek/2024-10-04T19:03:07+00:00https://tea.ece.ufl.edu/sam-yuang-and-zhenjiang-present-posters-at-uf-ai-days-2024/2024-11-02T18:21:08+00:00https://tea.ece.ufl.edu/posters-demos-and-awards-at-the-nelms-iot-conference/2026-03-31T23:18:24+00:00https://tea.ece.ufl.edu/new-preprint-interpretable-world-models/2024-12-21T02:31:52+00:00https://tea.ece.ufl.edu/ivan-co-chairs-the-poster-demo-session-at-iccps-2025/2025-01-25T12:37:10+00:00https://tea.ece.ufl.edu/new-preprint-stratified-neuro-symbolic-architecture-for-autonomy/2025-02-19T11:35:20+00:00https://tea.ece.ufl.edu/tea-lab-does-double-demos-for-spring-visit/2025-02-21T21:23:57+00:00https://tea.ece.ufl.edu/new-preprint-state-based-conformal-prediction/2025-03-05T02:12:54+00:00https://tea.ece.ufl.edu/new-preprint-principles-for-physically-interpretable-world-models/2025-03-05T16:09:31+00:00https://tea.ece.ufl.edu/new-preprint-generalizable-image-repair/2025-03-12T23:45:31+00:00https://tea.ece.ufl.edu/ivan-receives-the-nsf-career-award/2025-03-25T17:02:28+00:00https://tea.ece.ufl.edu/new-preprint-conservative-perception-abstractions/2025-03-30T18:08:24+00:00https://tea.ece.ufl.edu/carson-lorant-present-posters-at-the-uf-spring-symposium/2025-04-08T23:42:54+00:00https://tea.ece.ufl.edu/lorant-receives-student-leader-and-best-poster-awards/2025-04-26T19:35:44+00:00https://tea.ece.ufl.edu/ivan-presents-principles-of-world-modeling-at-neus-2025/2025-05-30T09:32:56+00:00https://tea.ece.ufl.edu/new-preprint-chain-of-thought-confidence-with-stl/2025-06-13T22:20:34+00:00https://tea.ece.ufl.edu/new-nsf-project-on-confidence-calibration-under-anomalies/2025-07-13T15:38:09+00:00https://tea.ece.ufl.edu/tea-lab-hosts-incoming-freshmen/2025-08-04T22:12:00+00:00https://tea.ece.ufl.edu/new-preprint-how-safe-will-i-be-given-what-i-saw/2025-08-14T16:04:58+00:00https://tea.ece.ufl.edu/new-nsf-project-on-verifiable-safety-under-visual-shifts/2025-08-21T22:51:43+00:00https://tea.ece.ufl.edu/ivan-talks-about-high-dimensional-verification-at-usc/2025-08-26T01:49:20+00:00https://tea.ece.ufl.edu/new-preprint-unified-vv-for-vision-systems/2025-08-30T12:09:03+00:00https://tea.ece.ufl.edu/ivan-presented-conservative-abstractions/2025-09-17T21:13:36+00:00https://tea.ece.ufl.edu/new-preprint-online-friction-estimation-for-racing/2025-09-25T20:07:07+00:00https://tea.ece.ufl.edu/demos-at-hwcoe-celebration-and-deans-tailgate/2025-10-04T20:58:11+00:00https://tea.ece.ufl.edu/trevor-and-jordan-win-student-research-awards-at-esweek/2025-10-16T22:31:32+00:00https://tea.ece.ufl.edu/ivan-presents-world-models-image-repair-data-cleaning-at-iros/2025-10-22T09:48:35+00:00https://tea.ece.ufl.edu/autogators-win-most-innovative-award-autonomy-hackaton/2025-10-23T06:06:02+00:00https://tea.ece.ufl.edu/jordan-presents-vv-for-vision-at-atva/2025-11-05T19:23:41+00:00https://tea.ece.ufl.edu/ivan-does-publicity-for-a-neuro-symbolic-conference/2026-03-31T23:23:02+00:00https://tea.ece.ufl.edu/new-preprint-a-survey-of-cps-assumptions/2025-11-21T17:58:46+00:00https://tea.ece.ufl.edu/ece-showcases-new-club-gator-autonomous-racing/2026-03-31T23:19:19+00:00https://tea.ece.ufl.edu/new-preprint-statistical-symbolic-verification/2025-12-04T22:27:54+00:00https://tea.ece.ufl.edu/two-surveys-up-neuro-symbolic-aiot-and-cps-sustainability-2/2024-12-02T15:35:48+00:00https://tea.ece.ufl.edu/ivan-co-chairs-the-poster-demo-session-at-iccps-2025/2025-01-25T12:37:10+00:00https://tea.ece.ufl.edu/jordan-and-ivan-present-at-cps-iot-week-2025-2/2025-05-11T19:37:03+00:00https://tea.ece.ufl.edu/jordan-ivan-present-world-models-at-icra-2025-2/2025-05-23T13:40:39+00:00https://tea.ece.ufl.edu/zhongzheng-and-yuyang-give-racing-demo-to-nelms-family-2/2025-05-28T22:56:30+00:00https://tea.ece.ufl.edu/our-world-models-are-taking-off/2025-07-19T12:05:31+00:00https://tea.ece.ufl.edu/ivan-talks-about-conformal-reachability-at-cav-2/2025-07-22T15:23:16+00:00https://tea.ece.ufl.edu/stl-cot-confidence-most-innovative-poster-2/2025-12-07T18:11:08+00:00https://tea.ece.ufl.edu/new-preprint-verifiable-deterministic-world-models/2025-12-11T01:35:03+00:00