Towards a notion of unsatisfiable and unrealizable cores for LTL.

Viktor Schuppan

Published in: Sci. Comput. Program. (2012)

Keyphrases

temporal logic
phase transition
model checking
linear temporal logic
bounded model checking
neural network
domain specific
sat solvers
genetic algorithm
multiscale
xpath queries
digital topology
linear time temporal logic
deterministic automata