SAFETY-CRITICAL AUTONOMY At Khalifa University, we study safe autonomy under realistic uncertainty and deployment constraints, combining formal methods and real-world validation for safety-critical systems.
Research Focus
- Decision-making safety: Formal analysis of autonomous decision pipelines, including failure modes, safety guarantees, and verification under uncertainty.
- Multi-agent coordination: Coordination and information sharing under uncertainty, including communication constraints and trust assumptions.
- Risk-bounded planning: Planning and control methods that explicitly encode risk, enabling safety guarantees rather than empirical tuning.
Latest News
- New Publication: Trajectory Prediction for Autonomous Driving Progress, Limitations, and Future Directions. Information Fusion
- New Publication: RobMOT: Enhancing 3D Multi-Object Tracking Through Observational Noise and State Estimation Drift Mitigation in LiDAR Point Clouds. IEEE Transactions on Intelligent Transportation Systems (T-ITS)
- New Publication: Online Risk-Bounded Graph-Based Local Planning for Autonomous Driving with Theoretical Guarantees. ICRA 2025
- New Publication: Evaluation of Predictive Display for Teleoperated Driving using CARLA Simulator. IROS 2024
- New Publication: A Transformer-Based Framework for Vision-Centric Autonomous Navigation in Off-Road Environments. IROS 2024
subscribe via RSS