Reachability analysis for cooperative processing with industrial robots.

Maximilian Wagner Peter Heß Sebastian Reitelshöfer Jörg Franke

Published in: ETFA (2017)

Keyphrases

industrial robots
reachability analysis
cooperative
markov decision processes
model checking
data processing
real time
multi agent
timed automata
multi agent systems
game theory
computational complexity
dynamic programming
low cost
information processing