Quantitative Reachability Stackelberg-Pareto Synthesis is NEXPTIME-Complete.

Thomas Brihaye Véronique Bruyère Gaspard Reghem

Published in: CoRR (2023)

Keyphrases

multi objective
state space
pspace complete
upper bound
program synthesis
qualitative and quantitative
quantitative and qualitative
datalog programs
model checking
constraint satisfaction
differential evolution
satisfiability problem
multi objective optimization
transitive closure