Login / Signup

Stable Generated Models, Partial Temporal Logic and Disjunctive Defaults.

Joeri EngelfrietHeinrich Herre
Published in: J. Log. Program. (1999)
Keyphrases
  • temporal logic
  • model checking
  • modal logic
  • reactive systems
  • complex systems
  • expressive power
  • satisfiability problem
  • knowledge representation
  • verification method
  • computation tree logic