Prophet
From MaRDI portal
Software:29307
No author found.
Related Items (3)
Connecting Program Synthesis and Reachability: Automatic Program Repair Using Test-Input Generation ⋮ Sequential Convex Programming for the Efficient Verification of Parametric MDPs ⋮ Defining behaviorizeable relations to enable inference in semi-automatic program synthesis
This page was built for software: Prophet
