Login / Signup
Analysing LTL terminal performance by combining simulation and statistics.
Sonja Kuhnt
Viktoria Sander
Uwe Clausen
Jan Kaffka
Larissa Mest
Published in:
WSC (2012)
Keyphrases
</>
discrete event simulation
simulation model
temporal logic
mobile robot
combining multiple
data sets
databases
genetic algorithm
case study
multi agent
learning environment
artificial neural networks
mathematical model
model checking