Abstract Rendering: Computing All that is Seen in Gaussian Splat Scenes.
CoRR, March, 2025
Verifying Vision-Based Autonomy with Abstract Rendering and Perception Contracts.
Proceedings of the ACM/IEEE 16th International Conference on Cyber-Physical Systems, 2025
Verification and Validation of a Vision-Based Landing System for Autonomous VTOL Air Taxis.
,
,
,
,
,
,
,
,
,
,
,
CoRR, 2024
Visual Tracking with Intermittent Visibility: Switched Control Design and Implementation.
CoRR, 2024
Formal Verification Techniques for Vision-Based Autonomous Systems - A Survey.
Proceedings of the Principles of Verification: Cycling the Probabilistic Landscape, 2024
Assuring Safety of Vision-Based Swarm Formation Control.
Proceedings of the American Control Conference, 2024
Refining Perception Contracts: Case Studies in Vision-based Safe Auto-landing.
CoRR, 2023
Verification of ℒ<sub>1</sub> Adaptive Control using Verse Library: A Case Study of Quadrotors.
Proceedings of the ACM/IEEE 14th International Conference on Cyber-Physical Systems, 2023
Verse: A Python Library for Reasoning About Multi-agent Hybrid System Scenarios.
Proceedings of the Computer Aided Verification - 35th International Conference, 2023
Parallel and Incremental Verification of Hybrid Automata with Ray and Verse.
Proceedings of the Automated Technology for Verification and Analysis, 2023
ARCH-COMP23 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics.
,
,
,
,
,
,
,
,
,
,
,
,
Proceedings of 10th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH23), 2023
ARCH-COMP23 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics.
Proceedings of 10th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH23), 2023
Verifying Controllers With Vision-Based Perception Using Safe Approximate Abstractions.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2022
Industry-track: Challenges in Rebooting Autonomy with Deep Learned Perception.
Proceedings of the International Conference on Embedded Software, 2022
SceneChecker: Boosting Scenario Verification Using Symmetry Abstractions.
Proceedings of the Computer Aided Verification - 33rd International Conference, 2021
SymAR: Symmetry Abstractions and Refinement for Accelerating Scenarios with Neural Network Controllers Verification.
CoRR, 2020
ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics.
,
,
,
,
,
,
,
,
,
,
,
,
Proceedings of the ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20), 2020
ARCH-COMP18 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics.
Proceedings of the ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems, 2018
ARCH-COMP18 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics.
,
,
,
,
,
,
,
,
,
,
,
Proceedings of the ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems, 2018