Minimal strongly unsatisfiable subsets of reactive system specifications.

Shigeki Hagihara Naoki Egawa Masaya Shimakawa Naoki Yonezaki

Published in: ASE (2014)

Keyphrases

unsatisfiable cores
reactive systems
minimal subsets
hidden structure
phase transition
high level
reactive planning
sat solvers
formal specification
agent architecture
case study
max sat
query processing
neural network
finite state machines
delay insensitive
constraint satisfaction