Decoupled Fitness Criteria for Reactive Systems.
Derek EgolfStavros TripakisPublished in: CoRR (2022)
Keyphrases
- reactive systems
- model checking
- temporal logic
- information flow
- formal methods
- evolutionary algorithm
- genetic algorithm
- genetic programming
- fitness function
- database
- real time systems
- control flow
- evaluation criteria
- petri net
- state machines
- relational databases
- training data
- decision making
- social networks
- artificial intelligence
- data mining