Question: In Uppaal, is there a way to know how many states exists as the combination of locations and variables Answer: For predictions, one could naively multiply all automata locations and variable ranges, but this gives wastly pesimistic result, exceeding ...