Towards an Effective Decision Procedure for LTL formulas with Constraints.

Marco Comini Laura Titolo Alicia Villanueva

Published in: CoRR (2013)

Keyphrases

decision variables
data sets
decision making
co occurrence
constraint satisfaction
high quality
decision makers
decision rules
decision problems