Login / Signup
Strategising RoboCup in Real Time with Uppaal Stratego.
Philipp Holler
Magnus K. Jensen
Hannah Marie K. Lockey
Michele Albano
Published in:
ICAART (1) (2021)
Keyphrases
</>
real time
vision system
multi agent
model checking
data sets
low cost
reinforcement learning
control system
multi modal