Specification Patterns for Robotic Missions.

Claudio Menghi Christos Tsigkanos Patrizio Pelliccione Carlo Ghezzi Thorsten Berger

Published in: IEEE Trans. Software Eng. (2021)

Keyphrases

real time
mobile robot
high level
similar patterns
design patterns
pattern analysis
interesting patterns
databases
real world
reinforcement learning
multi agent
relational databases
programming language
pattern mining
space exploration