MCGP
From MaRDI portal
Software:13317
No author found.
Related Items (12)
Graph Games and Reactive Synthesis ⋮ Automatic synthesis of data-flow analyzers ⋮ Compositional strategy synthesis for stochastic games with multiple objectives ⋮ Achieving distributed control through model checking ⋮ On the roles of semantic locality of crossover in genetic programming ⋮ Genetic Programming and Model Checking: Synthesizing New Mutual Exclusion Algorithms ⋮ Petri games: synthesis of distributed systems with causal memory ⋮ Automatic distributed code generation from formal models of asynchronous processes interacting by multiway rendezvous ⋮ Hoare logic-based genetic programming ⋮ Model Checking-Based Genetic Programming with an Application to Mutual Exclusion ⋮ A Multi-level Refinement Approach for Structural Synthesis of Optimal Probabilistic Models ⋮ Measuring and Synthesizing Systems in Probabilistic Environments
This page was built for software: MCGP
