Login / Signup

Symbolic Model-Checking for Biochemical Systems.

François Fages
Published in: ICLP (2003)
Keyphrases
  • symbolic model checking
  • model checking
  • reinforcement learning
  • domain specific
  • knowledge based systems
  • reverse engineering
  • safety analysis