Seminar: Coinduction Up-To for Non Deterministic Automata