The following pages link to MCGP (Q13317):
Displaying 12 items.
- Achieving distributed control through model checking (Q453529) (← links)
- Petri games: synthesis of distributed systems with causal memory (Q515654) (← links)
- Automatic distributed code generation from formal models of asynchronous processes interacting by multiway rendezvous (Q516036) (← links)
- Hoare logic-based genetic programming (Q543275) (← links)
- Compositional strategy synthesis for stochastic games with multiple objectives (Q1641028) (← links)
- Automatic synthesis of data-flow analyzers (Q2145353) (← links)
- On the roles of semantic locality of crossover in genetic programming (Q2446455) (← links)
- Graph Games and Reactive Synthesis (Q3176385) (← links)
- Genetic Programming and Model Checking: Synthesizing New Mutual Exclusion Algorithms (Q3540062) (← links)
- A Multi-level Refinement Approach for Structural Synthesis of Optimal Probabilistic Models (Q4991932) (← links)
- Model Checking-Based Genetic Programming with an Application to Mutual Exclusion (Q5458325) (← links)
- Measuring and Synthesizing Systems in Probabilistic Environments (Q5501954) (← links)
