Kind Controllers and Fast Heuristics for Non-Well-Separated GR(1) Specifications.

Ariel Gorenstein Shahar Maoz Jan Oliver Ringert

Published in: ICSE (2024)

Keyphrases

heuristic search
control system
search algorithm
reinforcement learning
iterative learning control
control strategy
multi agent
machine learning
neural network
high level
case study
data sets
control law
heuristic methods
control strategies
exact algorithms
database