Author

Abdurrahman Alshareef

h-index 6 View on Semantic Scholar

We have 1 of 23 papers

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

Open access Jul 2026

SAT-Based Synthesis and DEVS Simulation from Partial Generative Specifications for Verifiable AI

This work proposes a multi-layer approach for the automated formalization and execution of partial generative specifications derived from high-level descriptions that establishes a unified pathway from partial generative artifacts to formally validated and executable models.

Abdurrahman Alshareef, Bernard P. Zeigler · Logics · 0 citations