Towards the exact complexity of realizability for Safety LTL.

Noel Arteche Montserrat Hermo

Published in: J. Log. Algebraic Methods Program. (2024)

Keyphrases

database
databases
computational complexity
model checking
data sets
image sequences
search algorithm
domain independent
temporal logic
safety critical