Login / Signup

Combining Forward and Backward Analyses of Temporal Properties.

Damien Massé
Published in: PADO (2001)
Keyphrases
  • forward and backward
  • temporal properties
  • model checking
  • possibility theory
  • formal methods
  • dynamic programming
  • machine learning
  • multi objective
  • probabilistic model
  • computational intelligence
  • greedy search