index.md

layout	home

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.

<a href="3-research"><img src="/assets/banner-anim.gif"/></a>

<script> const texts = [ { text: "Autonomous Vehicles Lab", dir: "ltr" }, { text: "مختبر المركبات ذاتية القيادة", dir: "rtl" } ]; const element = document.querySelector('.typewriter-text'); const container = document.querySelector('.typewriter'); let textIndex = 0; function sleep(ms) { return new Promise(resolve => setTimeout(resolve, ms)); } async function typeText(text, dir) { // Set direction classes on both container and text element container.className = 'av-title typewriter ' + dir; element.className = 'typewriter-text ' + dir; // Type in for (let i = 0; i <= text.length; i++) { element.textContent = text.substring(0, i); await sleep(80); } await sleep(2000); // Pause before erasing // Erase for (let i = text.length; i >= 0; i--) { element.textContent = text.substring(0, i); await sleep(50); } await sleep(500); } async function loop() { while (true) { await typeText(texts[textIndex].text, texts[textIndex].dir); textIndex = (textIndex + 1) % texts.length; } } loop(); </script>