SAT-Based Bounded Strong Satisfiability Checking of Reactive System Specifications.

Masaya Shimakawa Shigeki Hagihara Naoki Yonezaki

Published in: ICT-EurAsia (2013)

Keyphrases

bounded model checking
reactive systems
high level
model checking
temporal logic
answer set programming
data sets
agent architecture
ai planning
version space
formal verification
constraint solver
linear temporal logic
sat solvers
planning problems
multi agent systems
case study