The Complexity of LTL Rational Synthesis.

Orna Kupferman Noam Shenwald

Published in: ACM Trans. Comput. Log. (2024)

Keyphrases

database
decision making
worst case
model checking
data sets
real world
clustering algorithm
np hard
computational cost
space complexity
databases
neural network
genetic algorithm
search engine
lower bound
transition systems