PsALM: specification of dependable robotic missions.

Claudio Menghi Christos Tsigkanos Thorsten Berger Patrizio Pelliccione

Published in: ICSE (Companion Volume) (2019)

Keyphrases

real time
space exploration
mobile robot
robotic systems
high level
search and rescue
neural network
formal specification
object manipulation
specification language
multiple robots
autonomous robots
expert systems
reactive systems
case study
information retrieval
temporal ordering
tactile sensing