Login / Signup

Searching Powerset Automata by Combining Explicit-State and Symbolic Model Checking.

Alessandro CimattiMarco RoveriPiergiorgio Bertoli
Published in: TACAS (2001)
Keyphrases
  • symbolic model checking
  • model checking
  • machine learning
  • multi agent
  • orders of magnitude
  • conformant planning