Login / Signup

BDD-versus SAT-based bounded model checking for the existential fragment of linear temporal logic with knowledge: algorithms and their performance.

Artur MeskiWojciech PenczekMaciej SzreterBozena Wozna-SzczesniakAndrzej Zbrzezny
Published in: Auton. Agents Multi Agent Syst. (2014)
Keyphrases
  • bounded model checking
  • linear temporal logic
  • model checking
  • formal verification
  • temporal logic
  • multi agent systems
  • domain specific
  • decision problems