Skip to content
Log in
Sponsored Design Multi-Agent AI Systems Using MCP and A2A: Engineer your own Pyt Design Multi-Agent AI Systems Using MCP and A2A: Engineer your own Pyt

Author

Mehdi Tarrit Mirakhorli

View on Semantic Scholar

1 paper indexed here

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.

Book Open access Oct 2026

Constrained Automated Requirements Formalization for Rigorous Analysis with Alloy

Early detection of security flaws in software requirements is crucial yet challenging due to the inherent ambiguity of natural language (NL) specifications. While manual reviews are labor-intensive and lack formal rigor, automated formal verification remains bottlenecked by the steep expertise barrier required for manu...

Viktoria Koscinski, Mehdi Tarrit Mirakhorli · 0 citations

We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.