Login / Signup

A Finite Union of DFAs in Symbolic Model Checking of Infinite Systems.

Suman RoyBhaskar Chakraborty
Published in: CIAA (2006)
Keyphrases
  • symbolic model checking
  • safety analysis
  • machine learning
  • reinforcement learning
  • knowledge based systems