Cited in
(19)- Measuring and synthesizing systems in probabilistic environments
- Graph Games and Reactive Synthesis
- SCADE
- TIMES
- On the roles of semantic locality of crossover in genetic programming
- DLC
- LNT2LOTOS
- FlashRelate
- XTL
- FlashExtract
- Automatic distributed code generation from formal models of asynchronous processes interacting by multiway rendezvous
- Model Checking-Based Genetic Programming with an Application to Mutual Exclusion
- Petri games: synthesis of distributed systems with causal memory
- Genetic Programming and Model Checking: Synthesizing New Mutual Exclusion Algorithms
- Automatic synthesis of data-flow analyzers
- A Multi-level Refinement Approach for Structural Synthesis of Optimal Probabilistic Models
- Achieving distributed control through model checking
- Compositional strategy synthesis for stochastic games with multiple objectives
- Hoare logic-based genetic programming
This page was built for software: MCGP
