MCGP
From MaRDI portal
swMATH562MaRDI QIDQ13317FDOQ13317
Author name not available (Why is that?)
Official website: https://sites.google.com/site/galkatzzz/mcgp-tool
Cited In (17)
- Model Checking-Based Genetic Programming with an Application to Mutual Exclusion
- 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
- Measuring and synthesizing systems in probabilistic environments
- Graph Games and Reactive Synthesis
- DLC
- LNT2LOTOS
- FlashRelate
- XTL
- FlashExtract
- 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
