Control strategies for off-line testing of timed systems.

Léo Henry Thierry Jéron Nicolas Markey

Published in: Formal Methods Syst. Des. (2022)

Keyphrases

control strategies
control strategy
control system
reinforcement learning
controller design
neural network
genetic algorithm
complex systems
mathematical models
traffic management
control policies
expert systems
software development
wireless networks
finite state machines