Login / Signup
A Finite Union of DFAs in Symbolic Model Checking of Infinite Systems.
Suman Roy
Bhaskar Chakraborty
Published in:
CIAA (2006)
Keyphrases
</>
symbolic model checking
safety analysis
machine learning
reinforcement learning
knowledge based systems