Login / Signup

Improving symbolic reachability analysis by means of activityprofiles.

Gianpiero CabodiPaolo CamuratiStefano Quer
Published in: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (2000)
Keyphrases
  • reachability analysis
  • markov decision processes
  • model checking
  • state space
  • decision making
  • reinforcement learning
  • symbolic representation
  • incremental algorithms