Login / Signup
Promela Formalization.
René Neumann
Published in:
Arch. Formal Proofs (2014)
Keyphrases
</>
knowledge representation
formal model
information retrieval
decision making
case study
artificial intelligence
reinforcement learning
special case
domain knowledge
case based reasoning
general purpose