Expiring opacity problems in parametric timed automata

Re-assign community