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