Showing 1–20 of 30 results
/ Date/ Name
May 3, 2021Safe Navigation in Human Occupied Environments Using Sampling and Control Barrier FunctionsJun 21, 2005Adaptation and Parameter Estimation in Systems with Unstable Target Dynamics and Nonlinear ParametrizationMay 5, 2009Feasibility of random basis function approximators for modeling and controlNov 14, 2024Risk-aware MPPI for Stochastic Hybrid SystemsNov 8, 2024Querying Perception Streams with Spatial Regular ExpressionsSep 13, 2023The Boundaries of Verifiable Accuracy, Robustness, and Generalisation in Deep LearningApr 8, 2026Spatio-Temporal Grounding of Large Language Models from Perception StreamsOct 24, 2022Model-based Evaluation of Driver Control Workloads in Haptic-based Driver Assistance SystemsAug 9, 2021Neural Network Repair with Reachability AnalysisAug 2, 2019Requirements-driven Test Generation for Autonomous Vehicles with Machine Learning ComponentsOct 14, 2022Risk-Awareness in Learning Neural Controllers for Temporal Logic ObjectivesApr 3, 2023Safety Under Uncertainty: Tight Bounds with Risk-Aware Control Barrier FunctionsNov 25, 2024From Dashcam Videos to Driving Simulations: Stress Testing Automated Vehicles against Rare EventsJun 4, 2017Actor-Critic for Linearly-Solvable Continuous MDP with Partially Known DynamicsMay 23, 2007Adaptive classification of temporal signals in fixed-weights recurrent neural networks: an existence proofMar 7, 2023A Neurosymbolic Approach to the Verification of Temporal Logic Properties of Learning enabled Control SystemsJan 18, 2019Feature Pyramid and Hierarchical Boosting Network for Pavement Crack DetectionOct 12, 2018Fast Construction of Correcting Ensembles for Legacy Artificial Intelligence Systems: Algorithms and a Case StudyDec 30, 2021Risk-Bounded Control with Kalman Filtering and Stochastic Barrier FunctionsJun 22, 2021Reachability Analysis of Convolutional Neural Networks