Login / Signup
Specification criticism via goal-directed envisionment.
Keith L. Downing
Stephen Fickas
Published in:
IWSSD (1991)
Keyphrases
</>
goal directed
qualitative simulation
autonomous robots
automated planning
autonomous learning
high level
temporal ordering
real time
multiscale
user defined
dynamical systems
formal methods
formal verification
action models