The following pages link to Mohammad Abdulaziz (Q1663243):
Displaying 7 items.
- Formally verified algorithms for upper-bounding state space diameters (Q1663245) (← links)
- An Isabelle/HOL formalisation of Green's theorem (Q2323451) (← links)
- An Isabelle/HOL Formalisation of Green’s Theorem (Q2829238) (← links)
- Verified Over-Approximation of the Diameter of Propositionally Factored Transition Systems (Q2945619) (← links)
- Trustworthy Graph Algorithms (Invited Talk) (Q5092359) (← links)
- A Verified Compositional Algorithm for AI Planning (Q5875407) (← links)
- A formal analysis of RANKING (Q6642974) (← links)
