The following pages link to Prophet (Q29307):
Displaying 3 items.
- Defining behaviorizeable relations to enable inference in semi-automatic program synthesis (Q2239281) (← links)
- Connecting Program Synthesis and Reachability: Automatic Program Repair Using Test-Input Generation (Q3303900) (← links)
- Sequential Convex Programming for the Efficient Verification of Parametric MDPs (Q3303926) (← links)