Specifying Safety and Progress Properties with RSL.

Published in: FME (1994)

Keyphrases

real time
desirable properties
case study
objective function
topological properties
databases
real world
social networks
feature extraction
wide range
multi agent systems
digital libraries
special case
mobile robot
probability distribution
key properties