Complexity of Checking Strong Satisfiability of Reactive System Specifications.

Masaya Shimakawa Shigeki Hagihara Naoki Yonezaki

Published in: SPIT (2012)

Keyphrases

computational complexity
np complete
worst case
propositional logic
high level
decision problems
satisfiability problem
space complexity
reactive systems
phase transition
agent architecture
complexity analysis
delay insensitive
bounded model checking