16 citations · 57 across the 31 of their papers we have counts for
Showing 2026Show all
2 papers · 1 filter
cs.LO2026
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…
cs.RO2026
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…