Nobody's perfect: interactive synthesis from parametrized real-time scenarios