A Syntactical Proof of the Canonical Reactivity Form for Past Linear Temporal Logic.

Dimitar P. Guelev

Published in: J. Log. Comput. (2008)

Keyphrases

linear temporal logic
model checking
temporal logic
bounded model checking
reinforcement learning
object oriented
knowledge base
high level
general purpose