KT and S4 Satisfiability in a Constraint Logic Environment.

Lynn Stevenson Katarina Britz Tertia Hörne

Published in: PRICAI (2008)

Keyphrases

mobile robot
real time
dynamic environments
satisfiability problem
neural network
computational properties
modal logic
phase transition
linear constraints
multi valued
classical logic
predicate logic
asynchronous circuits
bounded model checking