Login / Signup

Satisfiability degree computation for linear temporal logic.

Jian LuoGuiming LuoYang Zhao
Published in: IEEE ICCI*CC (2011)
Keyphrases
  • linear temporal logic
  • bounded model checking
  • temporal logic
  • model checking
  • satisfiability problem
  • computational complexity
  • domain specific
  • multi agent systems
  • belief revision