Solving high-level Petri games

Gieseking, M; Olderog, ER; Wurdemann, N

Wurdemann, N (corresponding author), Carl von Ossietzky Univ Oldenburg, Dept Comp Sci, Oldenburg, Germany.

ACTA INFORMATICA, 2020; 57 (3-5): 591

Abstract

The manual implementation of local controllers for autonomous agents in a distributed and concurrent setting is an ambitious and error-prune task. Syn......

Full Text Link