6 papers
On the Formalization of Network Topology Matrices in HOL
Kubra Aksoy, Adnan Rashid, Osman Hasan +1
Network topology matrices are algebraic representations of graphs that are widely used in modeling and analysis of various applications including electrical circuits, communication…
Formal Safety Guarantees for Autonomous Vehicles using Barrier Certificates
Oumaima Barhoumi, Mohamed H Zaki, Sofiène Tahar
Modern AI technologies enable autonomous vehicles to perceive complex scenes, predict human behavior, and make real-time driving decisions. However, these data-driven components of…
A Comparative Study of Oscillatory Perturbations in Car-Following Models
Oumaima Barhoumi, Ghazal Farhani, Taufiq Rahman +2
As connected and autonomous vehicles become more widespread, platooning has emerged as a key strategy to improve road capacity, reduce fuel consumption, and enhance traffic flow. H…
Fuel Consumption in Platoons: A Literature Review
Oumaima Barhoumi, Ghazal Farhani, Taufiq Rahman +3
Platooning has emerged as a promising strategy for improving fuel efficiency in automated vehicle systems, with significant implications for reducing emissions and operational cost…
Proof Recommendation System for the HOL4 Theorem Prover
Nour Dekhil, Adnan Rashid, Sofiene Tahar
We introduce a proof recommender system for the HOL4 theorem prover. Our tool is built upon a transformer-based model [2] designed specifically to provide proof assistance in HOL4.…
Extending XReason: Formal Explanations for Adversarial Detection
Amira Jemaa, Adnan Rashid, Sofiene Tahar
Explainable Artificial Intelligence (XAI) plays an important role in improving the transparency and reliability of complex machine learning models, especially in critical domains s…