Login / Signup
Testing Liveness Properties: Approximating Liveness Properties by Safety Properties.
Ulrich Ultes-Nitsche
Simon St. James
Published in:
FORTE (2001)
Keyphrases
</>
real time
objective function
wide range
social networks
computer vision
data structure
learning environment
search algorithm
image retrieval
mobile robot
desirable properties