Cited in
(19)- 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
- SCADE
- TIMES
- DLC
- LNT2LOTOS
- FlashRelate
- XTL
- FlashExtract
- Graph Games and Reactive Synthesis
- Automatic distributed code generation from formal models of asynchronous processes interacting by multiway rendezvous
- Hoare logic-based genetic programming
- Genetic Programming and Model Checking: Synthesizing New Mutual Exclusion Algorithms
- Automatic synthesis of data-flow analyzers
- Petri games: synthesis of distributed systems with causal memory
This page was built for software: MCGP
