Login / Signup
The STATEMATE Verification Environment - Making It Real.
Tom Bienmüller
Werner Damm
Hartmut Wittke
Published in:
CAV (2000)
Keyphrases
</>
real time
model checking
real world
mobile robot
complex environments
simulation environment
databases
artificial intelligence
image processing
website
case study
image sequences
environmental conditions
mobile robotics
real environment
signature verification