Sign in

Reachability for Finite-State Process Algebras using Horn Clauses.

Nataliya SkrypnyukFlemming Nielson
Published in: Int. J. Found. Comput. Sci. (2013)
Keyphrases
  • finite state
  • horn clauses
  • markov chain
  • model checking
  • database
  • databases
  • learning algorithm
  • markov decision processes
  • inductive logic programming