Decoupled Fitness Criteria for Reactive Systems.

Derek Egolf Stavros Tripakis

Published in: SEFM (2023)

Keyphrases

reactive systems
model checking
evolutionary algorithm
information flow
temporal logic
genetic algorithm
formal methods
petri net
genetic programming
state machines
control flow
evaluation criteria
population size
machine learning
object oriented
open source